Ivan Oliveira Nunes

According to our database, Ivan Oliveira Nunes authored at least 46 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

IEEE Commun. Mag., July, 2024

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems.

Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

CoRR, 2024

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

Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes

CoRR, 2024

SoK: Runtime Integrity.

Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes

CoRR, 2024

Towards Browser Controls to Protect Cookies from Malicious Extensions.

Liam Tyler, Ivan De Oliveira Nunes

CoRR, 2024

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution.

Norrathep Rattanavipanon, Ivan De Oliveira Nunes

CoRR, 2024

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

CoRR, 2024

2023

UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices.

Liam Tyler, Ivan De Oliveira Nunes

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

PARseL: Towards a Verified Root-of-Trust over seL4.

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

CoRR, 2023

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

Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

Proceedings of the 32nd USENIX Security Symposium, 2023

ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations.

Antonio Joia Neto, Ivan De Oliveira Nunes

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

$\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

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

Oblivious Extractors and Improved Security in Biometric-based Authentication Systems.

Ivan De Oliveira Nunes, Peter Rindal, Maliheh Shirvanian

IACR Cryptol. ePrint Arch., 2022

GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices).

Esmerald Aliaj, Ivan De Oliveira Nunes, Gene Tsudik

Proceedings of the 31st USENIX Security Symposium, 2022

Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA.

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems.

Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Verifiable Integrity and Availability for Code and Execution in Simple Embedded Systems.

Ivan Oliveira Nunes

PhD thesis, 2021

GAROTA: Generalized Active Root-Of-Trust Architecture.

Esmerald Aliaj, Ivan De Oliveira Nunes, Gene Tsudik

CoRR, 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

Proceedings of the WiSec '21: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Abu Dhabi, United Arab Emirates, 28 June, 2021

On the Root of Trust Identification Problem.

Ivan De Oliveira Nunes, Xuhua Ding, Gene Tsudik

Proceedings of the IPSN '21: The 20th International Conference on Information Processing in Sensor Networks, 2021

Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

DIALED: Data Integrity Attestation for Low-end Embedded Devices.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

On the TOCTOU Problem in Remote Attestation.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

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

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

Proceedings of the 29th USENIX Security Symposium, 2020

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

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

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

Proceedings of the 28th USENIX Security Symposium, 2019

Towards Systematic Design of Collective Remote Attestation Protocols.

Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

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

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

Formally Verified Hardware/Software Co-Design for Remote Attestation.

Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

CoRR, 2018

KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks.

Ivan Oliveira Nunes, Gene Tsudik

CoRR, 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

Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems.

Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint

Proceedings of the Cyber Security Cryptography and Machine Learning, 2018

KRB-CCN: Lightweight Authentication and Access Control for Private Content-Centric Networks.

Ivan Oliveira Nunes, Gene Tsudik

Proceedings of the Applied Cryptography and Network Security, 2018

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

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

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

GRM: Group Regularity Mobility Model.

Ivan Oliveira Nunes, Clayson Celes, Michael D. Silva, Pedro O. S. Vaz de Melo, Antonio A. F. Loureiro

Proceedings of the 20th ACM International Conference on Modelling, 2017

Namespace Tunnels in Content-Centric Networks.

Ivan Oliveira Nunes, Gene Tsudik, Christopher A. Wood

Proceedings of the 42nd IEEE Conference on Local Computer Networks, 2017

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

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

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

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

Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016, 2016

Group mobility: Detection, tracking and characterization.

Ivan Oliveira Nunes, Pedro O. S. Vaz de Melo, Antonio A. F. Loureiro

Proceedings of the 2016 IEEE International Conference on Communications, 2016