Ivan De Oliveira Nunes

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

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon et al. · USENIX Security Symposium · 2019 · 89 citations

Engineering, Computer Engineering, Computer Science +14

APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon et al. · arXiv (Cornell University) · 2020 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +14

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

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik · 2021 · 32 citations

Computing, Computer Engineering, Computer Science +16

Towards Systematic Design of Collective Remote Attestation Protocols

Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim et al. · 2019 · 21 citations

Computing, Computer Engineering, Cybersecurity +17

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 et al. · 2019 · 16 citations

Computing, Computer Engineering, Computer Science +13