Follow
Ivan De Oliveira Nunes
Ivan De Oliveira Nunes
Other namesIvan Oliveira Nunes, Ivan O. Nunes
Rochester Institute of Technology
Verified email at mail.rit.edu - Homepage
Title
Cited by
Cited by
Year
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation
I De Oliveira Nunes, K Eldefrawy, N Rattanavipanon, M Steiner, G Tsudik
USENIX Security, 2019
170*2019
Aot: Authentication and access control for the entire iot device life-cycle
ALM Neto, ALF Souza, I Cunha, M Nogueira, IO Nunes, L Cotta, ...
ACM SenSys, 1-15, 2016
1212016
APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
I De Oliveira Nunes, K Eldefrawy, N Rattanavipanon, G Tsudik
USENIX Security, 2020
67*2020
On the TOCTOU Problem in Remote Attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
ACM CCS, 2021
542021
Leveraging D2D multihop communication through social group meeting awareness
IO Nunes, POSV de Melo, AAF Loureiro
IEEE Wireless Communications 23 (4), 12-19, 2016
352016
Tiny-CFA: Minimalistic control-flow attestation using verified proofs of execution
IDO Nunes, S Jakkamsetti, G Tsudik
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 641-646, 2021
322021
Towards Systematic Design of Collective Remote Attestation Protocols
IDO Nunes, G Dessouky, A Ibrahim, N Rattanavipanon, AR Sadeghi, ...
IEEE ICDCS, 2019
322019
Combining Spatial and Social Awareness in D2D Opportunistic Routing
IO Nunes, C Celes, I Nunes, POSV de Melo, AAF Loureiro
IEEE Communications Magazine, 2018
302018
Dialed: Data integrity attestation for low-end embedded devices
IDO Nunes, S Jakkamsetti, G Tsudik
2021 58th ACM/IEEE Design Automation Conference (DAC), 313-318, 2021
292021
PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in Low-End Embedded Systems
IDO Nunes, K Eldefrawy, N Rattanavipanon, G Tsudik
IEEE/ACM ICCAD, 2019
23*2019
GRM: Group Regularity Mobility Model
IO Nunes, C Celes, MD Silva, POS de Melo, AAF Loureiro
ACM MSWIM, 2017
222017
GROUPS-NET: Group Meetings Aware Routing in Multi-Hop D2D Networks
IO Nunes, C Celes, POS de Melo, AAF Loureiro
Computer Networks 127, 94-108, 2017
172017
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)
E Aliaj, IDO Nunes, G Tsudik
USENIX Security, 2022
16*2022
Tiny-CFA: A minimalistic approach for control-flow attestation using verified proofs of execution
IDO Nunes, S Jakkamsetti, G Tsudik
arXiv preprint arXiv:2011.07400, 2020
162020
On the TOCTOU problem in remote attestation
IDO Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
arXiv preprint arXiv:2005.03873, 2020
162020
Group mobility: Detection, tracking and characterization
IO Nunes, POS de Melo, AAF Loureiro
2016 IEEE International Conference on Communications (ICC), 2016
16*2016
KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks
IO Nunes, G Tsudik
(ACNS) International Conference on Applied Cryptography and Network Security, 2018
132018
Delegated Attestation: Scalable Remote Attestation of Commodity CPS by Blending Proofs of Execution with Software Attestation
M Ammar, B Crispo, IDO Nunes, G Tsudik
ACM WiSec'21, 2021
122021
On the Root of Trust Identification Problem
I De Oliveira Nunes, X Ding, G Tsudik
(IPSN'21) ACM/IEEE Conference on Information Processing in Sensor Networks …, 2021
92021
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
AJ Neto, I De Oliveira Nunes
IEEE RTAS, 2023
82023
The system can't perform the operation now. Try again later.
Articles 1–20