| 2026 | ACNS | RESPEC-CFA: Representation-Aware Speculative Control Flow Attestation. | Liam Tyler, Adam Caulfield, Ivan De Oliveira Nunes |
| 2025 | DAC | RAP-Track: Efficient Control Flow Attestation via Parallel Tracking in Commodity MCUs. | Antonio Joia Neto, Adam Caulfield, Ivan De Oliveira Nunes |
| 2025 | SP | SoK: Integrity, Attestation, and Auditing of Program Execution. | Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes |
| 2025 | SP | PEARTS: Provable Execution in Real-Time Embedded Systems. | Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes |
| 2024 | ACSAC | TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. | Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes |
| 2024 | ACSAC | SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. | Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes |
| 2023 | ESORICS | Oblivious Extractors and Improved Security in Biometric-Based Authentication Systems. | Ivan De Oliveira Nunes, Peter Rindal, Maliheh Shirvanian |
| 2023 | ICCAD | $\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 |
| 2023 | ICCAD | $\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. | Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik |
| 2023 | RTAS | ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. | Antonio Joia Neto, Ivan De Oliveira Nunes |
| 2022 | DAC | ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. | Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes |
| 2022 | ICCAD | CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems. | Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik |
| 2022 | SP | Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. | Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik |
| 2021 | CCS | On the TOCTOU Problem in Remote Attestation. | Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik |
| 2021 | DAC | DIALED: Data Integrity Attestation for Low-end Embedded Devices. | Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik |
| 2021 | DATE | Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution. | Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik |
| 2019 | ICCAD | 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 |
| 2019 | ICDCS | Towards Systematic Design of Collective Remote Attestation Protocols. | Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik |