关注
Ivan De Oliveira Nunes
Ivan De Oliveira Nunes
其他姓名Ivan Oliveira Nunes, Ivan O. Nunes
在 mail.rit.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
160*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
1202016
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
59*2020
On the TOCTOU Problem in Remote Attestation
I De Oliveira Nunes, S Jakkamsetti, N Rattanavipanon, G Tsudik
ACM CCS, 2021
472021
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
Towards Systematic Design of Collective Remote Attestation Protocols
IDO Nunes, G Dessouky, A Ibrahim, N Rattanavipanon, AR Sadeghi, ...
IEEE ICDCS, 2019
312019
Combining Spatial and Social Awareness in D2D Opportunistic Routing
IO Nunes, C Celes, I Nunes, POSV de Melo, AAF Loureiro
IEEE Communications Magazine, 2018
302018
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
282021
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
262021
GRM: Group Regularity Mobility Model
IO Nunes, C Celes, MD Silva, POS de Melo, AAF Loureiro
ACM MSWIM, 2017
222017
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
21*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
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
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
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices)
E Aliaj, IDO Nunes, G Tsudik
USENIX Security, 2022
13*2022
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
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
102021
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
92021
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
82022
系统目前无法执行此操作,请稍后再试。
文章 1–20