Follow
Ivan De Oliveira Nunes
Ivan De Oliveira Nunes
Other namesIvan Oliveira Nunes, Ivan O. Nunes
University of Zurich
Verified email at ifi.uzh.ch - 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
182*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
1222016
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
71*2020
On the TOCTOU Problem in Remote Attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
ACM CCS, 2021
612021
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
372021
Leveraging D2D multihop communication through social group meeting awareness
IO Nunes, POSV de Melo, AAF Loureiro
IEEE Wireless Communications 23 (4), 12-19, 2016
362016
Combining Spatial and Social Awareness in D2D Opportunistic Routing
IO Nunes, C Celes, I Nunes, POSV de Melo, AAF Loureiro
IEEE Communications Magazine, 2018
352018
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
322021
Towards Systematic Design of Collective Remote Attestation Protocols
IDO Nunes, G Dessouky, A Ibrahim, N Rattanavipanon, AR Sadeghi, ...
IEEE ICDCS, 2019
322019
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
24*2019
GRM: Group Regularity Mobility Model
IO Nunes, C Celes, MD Silva, POS de Melo, AAF Loureiro
ACM MSWIM, 2017
232017
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)
E Aliaj, IDO Nunes, G Tsudik
USENIX Security, 2022
21*2022
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
182017
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
172020
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations
AJ Neto, I De Oliveira Nunes
IEEE RTAS, 2023
162023
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
{ACFA}: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation
A Caulfield, N Rattanavipanon, IDO Nunes
32nd USENIX Security Symposium (USENIX Security 23), 5827-5844, 2023
142023
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
142021
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
142018
The system can't perform the operation now. Try again later.
Articles 1–20