default search action
Ivan Oliveira Nunes
Person information
- affiliation: Rochester Institute of Technology, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. IEEE Commun. Mag. 62(7): 58-64 (2024) - [j5]Liam Tyler
, Ivan De Oliveira Nunes
Untrusted Code Compartmentalization for Bare Metal Embedded Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 3419-3430 (2024) - [i26]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. CoRR abs/2401.04308 (2024) - [i25]Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. CoRR abs/2404.06721 (2024) - [i24]Liam Tyler, Ivan De Oliveira Nunes:
Towards Browser Controls to Protect Cookies from Malicious Extensions. CoRR abs/2405.06830 (2024) - [i23]Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes:
SoK: Runtime Integrity. CoRR abs/2408.10200 (2024) - [i22]Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes:
SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. CoRR abs/2409.18403 (2024) - [i21]Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. CoRR abs/2409.19125 (2024) - 2023
- [c26]Ivan De Oliveira Nunes, Peter Rindal, Maliheh Shirvanian:
Oblivious Extractors and Improved Security in Biometric-Based Authentication Systems. ESORICS (1) 2023: 290-312 - [c25]Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares, Ivan De Oliveira Nunes:
$\mathcal{D}\mathsf{iCA}$: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices. ICCAD 2023: 1-9 - [c24]Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. ICCAD 2023: 1-9 - [c23]Antonio Joia Neto, Ivan De Oliveira Nunes:
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. RTAS 2023: 133-146 - [c22]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. USENIX Security Symposium 2023: 5827-5844 - [i20]Antonio Joia Neto, Ivan De Oliveira Nunes:
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. CoRR abs/2303.03561 (2023) - [i19]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. CoRR abs/2303.16282 (2023) - [i18]Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
PARseL: Towards a Verified Root-of-Trust over seL4. CoRR abs/2308.11921 (2023) - [i17]Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares, Ivan De Oliveira Nunes:
DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices. CoRR abs/2308.12819 (2023) - [i16]Liam Tyler, Ivan De Oliveira Nunes:
UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices. CoRR abs/2312.02348 (2023) - 2022
- [c21]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. DAC 2022: 721-726 - [c20]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim
CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems. ICCAD 2022: 146:1-146:9 - [c19]Ivan De Oliveira Nunes, Seoyeon Hwang
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. SP 2022: 2413-2429 - [c18]Esmerald Aliaj, Ivan De Oliveira Nunes, Gene Tsudik:
GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices). USENIX Security Symposium 2022: 2243-2260 - [i15]Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik:
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. CoRR abs/2205.02963 (2022) - [i14]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems. CoRR abs/2206.02894 (2022) - [i13]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik:
CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems. CoRR abs/2209.00813 (2022) - [i12]Ivan De Oliveira Nunes, Peter Rindal, Maliheh Shirvanian:
Oblivious Extractors and Improved Security in Biometric-based Authentication Systems. IACR Cryptol. ePrint Arch. 2022: 1030 (2022) - 2021
- [b1]Ivan Oliveira Nunes:
Verifiable Integrity and Availability for Code and Execution in Simple Embedded Systems. University of California, Irvine, USA, 2021 - [c17]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
On the TOCTOU Problem in Remote Attestation. CCS 2021: 2921-2936 - [c16]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
DIALED: Data Integrity Attestation for Low-end Embedded Devices. DAC 2021: 313-318 - [c15]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution. DATE 2021: 641-646 - [c14]Ivan De Oliveira Nunes, Xuhua Ding
On the Root of Trust Identification Problem. IPSN 2021: 315-327 - [c13]Mahmoud Ammar, Bruno Crispo, Ivan De Oliveira Nunes, Gene Tsudik:
Delegated attestation: scalable remote attestation of commodity CPS by blending proofs of execution with software attestation. WISEC 2021: 37-47 - [i11]Esmerald Aliaj, Ivan De Oliveira Nunes, Gene Tsudik:
GAROTA: Generalized Active Root-Of-Trust Architecture. CoRR abs/2102.07014 (2021) - [i10]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
DIALED: Data Integrity Attestation for Low-end Embedded Devices. CoRR abs/2103.12928 (2021) - 2020
- [c12]Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik:
APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. USENIX Security Symposium 2020: 771-788 - [i9]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
On the TOCTOU Problem in Remote Attestation. CoRR abs/2005.03873 (2020) - [i8]Ivan De Oliveira Nunes, Xuhua Ding, Gene Tsudik:
On the Root of Trust Identification Problem. CoRR abs/2010.13858 (2020) - [i7]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik:
Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution. CoRR abs/2011.07400 (2020)
2010 – 2019
- 2019
- [j4]Ivan De Oliveira Nunes
SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systems. Future Gener. Comput. Syst. 98: 259-273 (2019) - [c11]Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik:
PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems. ICCAD 2019: 1-8 - [c10]Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik:
Towards Systematic Design of Collective Remote Attestation Protocols. ICDCS 2019: 1188-1198 - [c9]Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik:
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. USENIX Security Symposium 2019: 1429-1446 - [i6]Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik:
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. CoRR abs/1908.02444 (2019) - 2018
- [j3]Ivan Oliveira Nunes, Clayson Celes, Igor Nunes, Pedro O. S. Vaz de Melo
Combining Spatial and Social Awareness in D2D Opportunistic Routing. IEEE Commun. Mag. 56(1): 128-135 (2018) - [c8]Ivan Oliveira Nunes, Gene Tsudik:
KRB-CCN: Lightweight Authentication and Access Control for Private Content-Centric Networks. ACNS 2018: 598-615 - [c7]Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint:
Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems. CSCML 2018: 162-180 - [i5]Ivan Oliveira Nunes, Gene Tsudik:
KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks. CoRR abs/1804.03820 (2018) - [i4]Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik:
Formally Verified Hardware/Software Co-Design for Remote Attestation. CoRR abs/1811.00175 (2018) - 2017
- [j2]Ivan Oliveira Nunes, Clayson Celes, Pedro O. S. Vaz de Melo
GROUPS-NET: Group meetings aware routing in multi-hop D2D networks. Comput. Networks 127: 94-108 (2017) - [c6]Michael D. Silva, Ivan Oliveira Nunes, Raquel A. F. Mini, Antonio A. F. Loureiro:
ST-Drop: A novel buffer management strategy for D2D opportunistic networks. ISCC 2017: 1300-1305 - [c5]Ivan Oliveira Nunes, Gene Tsudik, Christopher A. Wood:
Namespace Tunnels in Content-Centric Networks. LCN 2017: 35-42 - [c4]Ivan Oliveira Nunes, Clayson Celes, Michael D. Silva, Pedro O. S. Vaz de Melo
GRM: Group Regularity Mobility Model. MSWiM 2017: 85-89 - [c3]Michael D. Silva, Ivan Oliveira Nunes, Raquel A. F. Mini, Antonio A. F. Loureiro:
ST-Drop: Uma Nova Estratégia de Gerenciamento de Buffer em Redes Oportunistas D2D. SBRC 2017 - [i3]Ivan Oliveira Nunes, Clayson Celes, Michael D. Silva, Pedro O. S. Vaz de Melo, Antonio A. F. Loureiro:
GRM: Group Regularity Mobility Model. CoRR abs/1706.07908 (2017) - 2016
- [j1]Ivan Oliveira Nunes, Pedro O. S. Vaz de Melo
Leveraging D2D multihop communication through social group meeting awareness. IEEE Wirel. Commun. 23(4): 12-19 (2016) - [c2]Ivan Oliveira Nunes, Pedro O. S. Vaz de Melo
Group mobility: Detection, tracking and characterization. ICC 2016: 1-6 - [c1]Antonio L. Maia Neto, Artur L. F. Souza, Ítalo S. Cunha, Michele Nogueira
AoT: Authentication and Access Control for the Entire IoT Device Life-Cycle. SenSys 2016: 1-15 - [i2]Ivan Oliveira Nunes, Clayson Celes, Pedro O. S. Vaz de Melo, Antonio A. F. Loureiro:
GROUPS-NET: Group Meetings Aware Routing in Multi-Hop D2D Networks. CoRR abs/1605.07692 (2016) - 2015
- [i1]Ivan Oliveira Nunes, Pedro O. S. Vaz de Melo, Antonio A. F. Loureiro:
Group Mobility: Detection, Tracking and Characterization. CoRR abs/1512.04828 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: