| 2026 | ACL | Exploring Cross-Client Memorization of Training Data in Large Language Models for Federated Learning. | Tinnakit Udsa, Can Udomcharoenchaikit, Patomporn Payoungkhamdee, Sarana Nutanong, Norrathep Rattanavipanon |
| 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 | ICSOC | A Query Language to Enhance Security and Privacy of Blockchain as a Service (BaaS). | Nasrin Sohrabi, Norrathep Rattanavipanon, Zahir Tari |
| 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 |
| 2022 | DAC | ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. | Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes |
| 2021 | CCS | On the TOCTOU Problem in Remote Attestation. | Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik |
| 2020 | ACNS | Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. | Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Sadi |
| 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 |
| 2018 | CCS | Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. | Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |
| 2018 | DAC | Reconciling remote attestation and safety-critical operation on simple IoT devices. | Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik |
| 2018 | DATE | ERASMUS: Efficient remote attestation via self-measurement for unattended settings. | Xavier Carpent, Gene Tsudik, Norrathep Rattanavipanon |
| 2017 | CCS | Lightweight Swarm Attestation: A Tale of Two LISA-s. | Xavier Carpent, Karim El Defrawy, Norrathep Rattanavipanon, Gene Tsudik |
| 2017 | DSN | FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. | Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik |