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
136*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
1162016
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
52*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
352021
Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution
I De Oliveira Nunes, S Jakkamsetti, G Tsudik
(DATE'21) Design, Automation and Test in Europe Conference, arXiv: 2011.07400, 2021
34*2021
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
252019
DIALED: Data Integrity Attestation for Low-end Embedded Devices
I De Oliveira Nunes, S Jakkamsetti, G Tsudik
(DAC'21) Design Automation Conference, arXiv: 2103.12928, 2021
23*2021
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
18*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
14*2021
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
122018
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)
E Aliaj, IDO Nunes, G Tsudik
USENIX Security, 2022
9*2022
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
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
72021
System and method for authentication of things
LBE OLIVEIRA, AAF LOUREIRO, ALM NETO, HK PATIL, MN LIMA, ...
US Patent 10,523,437, 2019
72019
Namespace Tunnels in Content-Centric Networks
IO Nunes, G Tsudik, CA Wood
42nd IEEE Conference on Local Computer Networks (LCN), 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20