Publications
2025
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) Proceedings of the 62nd ACM/IEEE Design Automation Conference (DAC 2025)
- Paper: (coming soon)
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)
- Paper: Download
2024
SpecCFA: Enhancing Control Flow Attestation and Auditing via Application-Aware Sub-Path Speculation
- Authors: Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes
- In: 40th Annual Computer Security Applications Conference (ACSAC 2024)
- Paper: Download
- Repository: open source from RIT-CHAOS-Sec on Github (artifact awarded)
- Presentation Slides: Available here
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems
- Authors: Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes
- In: 40th Annual Computer Security Applications Conference (ACSAC 2024)
- Paper: Download
- Repository: open source from RIT-CHAOS-Sec on Github (artifact awarded)
- Presentation Slides: Available here
X-Cipher: Achieving Data Resiliency in Homomorphic Ciphertexts
- Authors: Adam Caulfield, Nabiha Raza, and Peizhao Hu
- In: The 26th International Conference on Information and Communications Security (ICICS 2024)
- Paper: Download
- Repository: open source from my Github
- Presentation Slides: Available here
- Awards: Best Student Paper (See ICICS'24 proceedings)
2023
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 2023)
- Paper: Download
- Repository: open source from RIT-CHAOS-Sec on Github (artifact awarded)
- 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
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: 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
2020
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
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
Secure Runtime Auiditing of Embedded Systems Software
- Authors: Adam Caulfield
- In: ACM Conference on Computer and Communications Security (CCS) Doctoral Symposium 2024
- Proram: via CCS
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
- Slides: via CAE
0