Follow
Ivan De Oliveira Nunes
Ivan De Oliveira Nunes
Other namesIvan Oliveira Nunes, Ivan O. Nunes
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
151*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
1172016
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
55*2020
On the TOCTOU problem in remote attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
402021
Leveraging D2D multihop communication through social group meeting awareness
IO Nunes, POSV de Melo, AAF Loureiro
IEEE Wireless Communications 23 (4), 12-19, 2016
342016
Combining Spatial and Social Awareness in D2D Opportunistic Routing
IO Nunes, C Celes, I Nunes, POSV de Melo, AAF Loureiro
IEEE Communications Magazine, 2018
312018
Towards Systematic Design of Collective Remote Attestation Protocols
IDO Nunes, G Dessouky, A Ibrahim, N Rattanavipanon, AR Sadeghi, ...
IEEE ICDCS, 2019
272019
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
242021
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
232021
GRM: Group Regularity Mobility Model
IO Nunes, C Celes, MD Silva, POS de Melo, AAF Loureiro
ACM MSWIM, 2017
232017
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
20*2019
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
Group mobility: Detection, tracking and characterization
IO Nunes, POS de Melo, AAF Loureiro
2016 IEEE International Conference on Communications (ICC), 2016
16*2016
On the TOCTOU Problem in Remote Attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
ACM CCS, 2021
15*2021
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
152020
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
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)
E Aliaj, IDO Nunes, G Tsudik
USENIX Security, 2022
11*2022
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
82021
SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systems
IDO Nunes, K Eldefrawy, T Lepoint
Future Generation Computer Systems 98, 259-273, 2019
82019
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
72021
The system can't perform the operation now. Try again later.
Articles 1–20