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
122*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
1122016
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
47*2020
On the TOCTOU Problem in Remote Attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
ACM CCS, 2021
43*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
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
31*2021
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
GRM: Group Regularity Mobility Model
IO Nunes, C Celes, MD Silva, POS de Melo, AAF Loureiro
ACM MSWIM, 2017
232017
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
19*2021
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
17*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
15*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
122018
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)
E Aliaj, IDO Nunes, G Tsudik
USENIX Security, 2022
7*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
72021
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
72019
Namespace Tunnels in Content-Centric Networks
IO Nunes, G Tsudik, CA Wood
42nd IEEE Conference on Local Computer Networks (LCN), 2017
72017
ST-Drop: A Novel Buffer Management Strategy for D2D Opportunistic Networks
MD Silva, IO Nunes, RAF Mini, AAF Loureiro
22nd IEEE Symposium on Computers and Communications, 2017
72017
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
62021
The system can't perform the operation now. Try again later.
Articles 1–20