Publications

2025

SoK: Integrity, Attestation, and Auditing of Program Execution

Authors: Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes
In: (to appear) IEEE S&P 2025: IEEE Symposium on Security and Privacy (Oakland) 2025
Resources: Paper, Slides, Poster

RAP-Track: Efficient Control Flow Attestation via Parallel Tracking in Commodity MCUs

Authors: Antonio Joia Neto, Adam Caulfield, Ivan De Oliveira Nunes
In: (to appear) DAC 2025: Proceedings of the 62nd ACM/IEEE Design Automation Conference
Resources: (coming soon)

Run-time Attestation and Auditing: the Verifier’s Perspective

Authors: Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
In: (to appear) WiSec 2025: Proceedings 18th ACM Conference on Security and Privacy in Wireless and Mobile Networks
Resources: Paper (preprint)

2024

SpecCFA: Enhancing Control Flow Attestation and Auditing via Application-Aware Sub-Path Speculation

Authors: Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes
In: ACSAC 2024: 40th Annual Computer Security Applications Conference
Resources: Paper, Prototype repository (Artifact Awarded), Slides

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems

Authors: Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
In: ACSAC 2024: 40th Annual Computer Security Applications Conference
Resources: Paper, Prototype Repository (Artifact Awarded), Slides

X-Cipher: Achieving Data Resiliency in Homomorphic Ciphertexts

Authors: Adam Caulfield, Nabiha Raza, and Peizhao Hu
In: ICISC 2024: The 26th International Conference on Information and Communications Security
Resources: Paper (Best Student Paper Award), Prototype repository, Slides

2023

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

Authors: Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
In: USENIX Security 2023: The 32nd USENIX Security Symposium
Resources: Paper, Prototype Repository (Artifact Awarded), Slides + Video

DiCA: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices

Authors: Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares, Ivan De Oliveira Nunes
In: ICCAD 2023: The 2023 IEEE/ACM International Conference on Computer-Aided Design
Resources: Paper, Prototype Repository

2022

ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems

Authors: Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
In: DACC 2022: Proceedings of the 59th ACM/IEEE Design Automation Conference
Resources: Paper, Prototype Repository Slides

2020

SparkFHE: Distributed Dataflow Framework with Fully Homomorphic Encryption

Authors: Peizhao Hu, Asma Aloufi, Adam Caulfield, Kim Laine and Kristin Lauter
In: PPML 2020: Privacy-Preserving Machine Learning Workshop collocated with NeurlIPS
Resources: Paper

Posters

Runtime Auditing from the Verifier's Perspective

Authors: Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
In: USENIX Security 2024

SparkFHE: Distributed Dataflow Framework with Fully Homomorphic Encryption

Authors: Peizhao Hu, Asma Aloufi, Adam Caulfield, Kim Laine and Kristin Lauter
In: Great Lakes Security Day (GLSD) 2020

Invited Talks

Hardware-assisted Accountability for AI Systems

Authors: N. Asokan, Adam Caulfield, Vasisht Duddu
In: Intel SPR Tech Talk 2025

Secure Runtime Auditing of Embedded Systems Software

Authors: Adam Caulfield
In: ACM Conference on Computer and Communications Security (CCS) Doctoral Symposium 2024
Resources: CCS Program

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

Authors: Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
In: Center of Academic Excellence in Research (CAE-R) Research Symposium 2023
Resources: Slides via CAE

0