Lightweight Swarm Attestation: A Tale of Two LISA-s. - Xavier Carpent; Karim El Defrawy; Norrathep Rattanavipanon; Gene Tsudik (AsiaCCS, 2017)

FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. - Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (DSN Workshops, 2017)

HYDRA: hybrid design for remote attestation (using a formally verified microkernel). - Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (WISEC, 2017)

Probabilistic and Considerate Attestation of IoT Devices against Roving Malware. - Xavier Carpent; Norrathep Rattanavipanon; Gene Tsudik (IACR Cryptol. ePrint Arch., 2017)

Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. - Xavier Carpent; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (AsiaCCS, 2018)

Reconciling remote attestation and safety-critical operation on simple IoT devices. - Xavier Carpent; Karim Eldefrawy; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik (DAC, 2018)

ERASMUS: Efficient remote attestation via self-measurement for unattended settings. - Xavier Carpent; Gene Tsudik; Norrathep Rattanavipanon (DATE, 2018)

Remote attestation of IoT devices via SMARM: Shuffled measurements against roving malware. - Xavier Carpent; Norrathep Rattanavipanon; Gene Tsudik (HOST, 2018)

Formally Verified Hardware/Software Co-Design for Remote Attestation. - Karim Eldefrawy; Ivan Oliveira Nunes; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (CoRR, 2018)

ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. - N. Asokan; Thomas Nyman; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (ICCAD, 2019)

Towards Systematic Design of Collective Remote Attestation Protocols. - Ivan De Oliveira Nunes; Ghada Dessouky; Ahmad Ibrahim 002; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik (ICDCS, 2019)

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (USENIX Security Symposium, 2019)

A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2019)

Remote Attestation via Self-Measurement. - Xavier Carpent; Norrathep Rattanavipanon; Gene Tsudik (ACM Trans. Design Autom. Electr. Syst., 2019)

Secure Remote Attestation for Safety-Critical Embedded and IoT Devices. - Norrathep Rattanavipanon (2019)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. - Karim Eldefrawy; Michael E. Locasto; Norrathep Rattanavipanon; Hassen Saïdi (ACNS (2), 2020)

APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (USENIX Security Symposium, 2020)

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. - Karim Eldefrawy; Michael E. Locasto; Norrathep Rattanavipanon; Hassen Saïdi (CoRR, 2020)

On the TOCTOU Problem in Remote Attestation. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CCS, 2021)

ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. - Adam Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (DAC, 2022)

Detecting Anomalous LAN Activities under Differential Privacy. - Norrathep Rattanavipanon; Donlapark Ponnoprat; Hideya Ochiai; Kuljaree Tantayakul; Touchai Angchuan; Sinchai Kamolphiwong (CoRR, 2022)

πQLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain. - Nasrin Sohrabi; Norrathep Rattanavipanon; Zahir Tari (CoRR, 2022)

$ mathcal{P} text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (ICCAD, 2023)

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. - Adam Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (USENIX Security Symposium, 2023)

On the feasibility of attacking Thai LPR systems with adversarial examples. - Chissanupong Jiamsuchon; Jakapan Suaboot; Norrathep Rattanavipanon (CoRR, 2023)

PARseL: Towards a Verified Root-of-Trust over seL4. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2023)

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. - Adam Caulfield; Antonio Joia Neto; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (ACSAC, 2024)

A Query Language to Enhance Security and Privacy of Blockchain as a Service (BaaS). - Nasrin Sohrabi; Norrathep Rattanavipanon; Zahir Tari (ICSOC (2), 2024)

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2024)

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. - Norrathep Rattanavipanon; Ivan De Oliveira Nunes (CoRR, 2024)

On the Verification of Control Flow Attestation Evidence. - Adam Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (CoRR, 2024)

Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (IEEE Commun. Mag., 2024)

PEARTS: Provable Execution in Real-Time Embedded Systems. - Antonio Joia Neto; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (SP, 2025)

Run-time Attestation and Auditing: The Verifier's Perspective. - Adam Ilyas Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (WISEC, 2025)

A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography. - Norrathep Rattanavipanon; Jakapan Suaboot; Warodom Werapun (IEEE Access, 2025)

SLAPP: Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. - Norrathep Rattanavipanon; Ivan De Oliveira Nunes (IEEE Trans. Inf. Forensics Secur., 2025)

Provable Execution in Real-Time Embedded Systems. - Antonio Joia Neto; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (CoRR, 2025)