Group mobility: Detection, tracking and characterization. - Ivan Oliveira Nunes; Pedro O. S. Vaz de Melo; Antonio A. F. Loureiro (ICC, 2016)

AoT: Authentication and Access Control for the Entire IoT Device Life-Cycle. - Antonio L. Maia Neto; Artur L. F. Souza; Ítalo S. Cunha; Michele Nogueira; Ivan Oliveira Nunes; Leonardo Cotta; Nicolas Gentille; Antonio A. F. Loureiro; Diego F. Aranha; Harsh Kupwade Patil; Leonardo B. Oliveira (SenSys, 2016)

Leveraging D2D multihop communication through social group meeting awareness. - Ivan Oliveira Nunes; Pedro O. S. Vaz de Melo; Antonio A. F. Loureiro (IEEE Wirel. Commun., 2016)

ST-Drop: A novel buffer management strategy for D2D opportunistic networks. - Michael D. Silva; Ivan Oliveira Nunes; Raquel A. F. Mini; Antonio A. F. Loureiro (ISCC, 2017)

Namespace Tunnels in Content-Centric Networks. - Ivan Oliveira Nunes; Gene Tsudik; Christopher A. Wood (LCN, 2017)

GRM: Group Regularity Mobility Model. - Ivan Oliveira Nunes; Clayson Celes; Michael D. Silva; Pedro O. S. Vaz de Melo; Antonio A. F. Loureiro (MSWiM, 2017)

ST-Drop: Uma Nova Estratégia de Gerenciamento de Buffer em Redes Oportunistas D2D. - Michael D. Silva; Ivan Oliveira Nunes; Raquel A. F. Mini; Antonio A. F. Loureiro (SBRC, 2017)

GROUPS-NET: Group meetings aware routing in multi-hop D2D networks. - Ivan Oliveira Nunes; Clayson Celes; Pedro O. S. Vaz de Melo; Antonio A. F. Loureiro (Comput. Networks, 2017)

KRB-CCN: Lightweight Authentication and Access Control for Private Content-Centric Networks. - Ivan Oliveira Nunes; Gene Tsudik (ACNS, 2018)

Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems. - Ivan De Oliveira Nunes; Karim Eldefrawy; Tancrède Lepoint (CSCML, 2018)

Combining Spatial and Social Awareness in D2D Opportunistic Routing. - Ivan Oliveira Nunes; Clayson Celes; Igor Nunes; Pedro O. S. Vaz de Melo; Antonio A. F. Loureiro (IEEE Commun. Mag., 2018)

KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks. - Ivan Oliveira Nunes; Gene Tsudik (CoRR, 2018)

Formally Verified Hardware/Software Co-Design for Remote Attestation. - Karim Eldefrawy; Ivan Oliveira Nunes; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (CoRR, 2018)

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 (ICCAD, 2019)

Towards Systematic Design of Collective Remote Attestation Protocols. - Ivan De Oliveira Nunes; Ghada Dessouky; Ahmad Ibrahim 002; Norrathep Rattanavipanon; Ahmad-Reza Sadeghi; Gene Tsudik (ICDCS, 2019)

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Michael Steiner 001; Gene Tsudik (USENIX Security Symposium, 2019)

A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2019)

SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systems. - Ivan De Oliveira Nunes; Karim Eldefrawy; Tancrède Lepoint (Future Gener. Comput. Syst., 2019)

APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. - Ivan De Oliveira Nunes; Karim Eldefrawy; Norrathep Rattanavipanon; Gene Tsudik (USENIX Security Symposium, 2020)

Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Gene Tsudik (CoRR, 2020)

On the TOCTOU Problem in Remote Attestation. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CCS, 2021)

DIALED: Data Integrity Attestation for Low-end Embedded Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Gene Tsudik (DAC, 2021)

Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Gene Tsudik (DATE, 2021)

On the Root of Trust Identification Problem. - Ivan De Oliveira Nunes; Xuhua Ding; Gene Tsudik (IPSN, 2021)

Delegated attestation: scalable remote attestation of commodity CPS by blending proofs of execution with software attestation. - Mahmoud Ammar; Bruno Crispo; Ivan De Oliveira Nunes; Gene Tsudik (WISEC, 2021)

GAROTA: Generalized Active Root-Of-Trust Architecture. - Esmerald Aliaj; Ivan De Oliveira Nunes; Gene Tsudik (CoRR, 2021)

Verifiable Integrity and Availability for Code and Execution in Simple Embedded Systems. - Ivan Oliveira Nunes (2021)

ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. - Adam Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (DAC, 2022)

CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Youngil Kim; Gene Tsudik (ICCAD, 2022)

Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Gene Tsudik (SP, 2022)

GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices). - Esmerald Aliaj; Ivan De Oliveira Nunes; Gene Tsudik (USENIX Security Symposium, 2022)

Oblivious Extractors and Improved Security in Biometric-based Authentication Systems. - Ivan De Oliveira Nunes; Peter Rindal; Maliheh Shirvanian (IACR Cryptol. ePrint Arch., 2022)

$ 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 (ICCAD, 2023)

$ mathcal{P} text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (ICCAD, 2023)

ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. - Antonio Joia Neto; Ivan De Oliveira Nunes (RTAS, 2023)

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. - Adam Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (USENIX Security Symposium, 2023)

PARseL: Towards a Verified Root-of-Trust over seL4. - Ivan De Oliveira Nunes; Seoyeon Hwang; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2023)

DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices. - Antonio Joia Neto; Adam Caulfield; Chistabelle Alvares; Ivan De Oliveira Nunes (CoRR, 2023)

UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices. - Liam Tyler; Ivan De Oliveira Nunes (CoRR, 2023)

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. - Adam Caulfield; Antonio Joia Neto; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (ACSAC, 2024)

SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. - Adam Caulfield; Liam Tyler; Ivan De Oliveira Nunes (ACSAC, 2024)

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (CoRR, 2024)

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. - Norrathep Rattanavipanon; Ivan De Oliveira Nunes (CoRR, 2024)

Towards Browser Controls to Protect Cookies from Malicious Extensions. - Liam Tyler; Ivan De Oliveira Nunes (CoRR, 2024)

SoK: Runtime Integrity. - Mahmoud Ammar; Adam Caulfield; Ivan De Oliveira Nunes (CoRR, 2024)

On the Verification of Control Flow Attestation Evidence. - Adam Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (CoRR, 2024)

Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. - Ivan De Oliveira Nunes; Sashidhar Jakkamsetti; Norrathep Rattanavipanon; Gene Tsudik (IEEE Commun. Mag., 2024)

Untrusted Code Compartmentalization for Bare Metal Embedded Devices. - Liam Tyler; Ivan De Oliveira Nunes (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

SoK: Integrity, Attestation, and Auditing of Program Execution. - Mahmoud Ammar; Adam Caulfield; Ivan De Oliveira Nunes (SP, 2025)

PEARTS: Provable Execution in Real-Time Embedded Systems. - Antonio Joia Neto; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (SP, 2025)

Run-time Attestation and Auditing: The Verifier's Perspective. - Adam Ilyas Caulfield; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (WISEC, 2025)

SLAPP: Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. - Norrathep Rattanavipanon; Ivan De Oliveira Nunes (IEEE Trans. Inf. Forensics Secur., 2025)

Provable Execution in Real-Time Embedded Systems. - Antonio Joia Neto; Norrathep Rattanavipanon; Ivan De Oliveira Nunes (CoRR, 2025)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations. - Liam Tyler; Adam Caulfield; Ivan De Oliveira Nunes (CoRR, 2025)