关注
Ivan De Oliveira Nunes
Ivan De Oliveira Nunes
其他姓名Ivan Oliveira Nunes, Ivan O. Nunes
University of Zurich
在 ifi.uzh.ch 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
181*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
1192016
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
72*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
562021
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
Towards Systematic Design of Collective Remote Attestation Protocols
IDO Nunes, G Dessouky, A Ibrahim, N Rattanavipanon, AR Sadeghi, ...
IEEE ICDCS, 2019
332019
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
312021
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
22*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
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
152023
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
152018
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
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
IDO Nunes, S Hwang, S Jakkamsetti, G Tsudik
(S&P'22) IEEE Symposium on Security and Privacy, 2022
122022
系统目前无法执行此操作，请稍后再试。
文章 1–20