Publications

SoK: Integrity, Attestation, and Auditing of Program Execution

• Authors: Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes
• In: (to appear) IEEE Symposium on Security and Privacy 2025 (IEEE S&P 2025)
• Resources: (coming soon)

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

• Authors: Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes
• In: (to appear) 40th Annual Computer Security Applications Conference (ACSAC 2024)
• Resources: (coming soon)

X-Cipher: Achieving Data Resiliency in Homomorphic Ciphertexts

• Authors: Adam Caulfield, Nabiha Raza, and Peizhao Hu
• In: (to appear) The 26th International Conference on Information and Communications Security (ICICS 2024)
• Paper: Download
• Repository: open source from my Github
• Presentation Slides: Available here

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

• Authors: Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
• In: 32nd USENIX Security Symposium (USENIX Security 23)
• Paper: Download
• Artifact Evaluation: Available, Functional, Reproduced. (Artifact Appendix)
• Repository: open source from RIT-CHAOS-Sec on Github
• Presentation Slides: Available here

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: 2023 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2023)
• Paper: Download
• Repository: open source from RIT-CHAOS-Sec on Github

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: Proceedings of the 59th ACM/IEEE Design Automation Conference (DAC 2022)
• Paper: Download
• Repository: open source from RIT-CHAOS-Sec on Github
• Presentation Slides: Available here

SparkFHE: Distributed Dataflow Framework with Fully Homomorphic Encryption

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

---

Posters

Runtime Auditing from the Verifier's Perspective

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

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

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