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

$ mathcal{D} mathsf{iCA}$: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices. - Antonio Joia Neto; Adam Caulfield; Chistabelle Alvares; Ivan De Oliveira Nunes (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)

DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices. - Antonio Joia Neto; Adam Caulfield; Chistabelle Alvares; Ivan De Oliveira Nunes (CoRR, 2023)

X-Cipher: Achieving Data Resiliency in Homomorphic Ciphertexts. - Adam Caulfield; Nabiha Raza; Peizhao Hu (IACR Cryptol. ePrint Arch., 2023)

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

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. - Adam Caulfield; Liam Tyler; Ivan De Oliveira Nunes (ACSAC, 2024)

Towards Secure Runtime Auditing of Remote Embedded System Software. - Adam Caulfield (CCS, 2024)

SoK: Runtime Integrity. - Mahmoud Ammar; Adam Caulfield; Ivan De Oliveira Nunes (CoRR, 2024)

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

SoK: Integrity, Attestation, and Auditing of Program Execution. - Mahmoud Ammar; Adam Caulfield; 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)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations. - Liam Tyler; Adam Caulfield; Ivan De Oliveira Nunes (CoRR, 2025)