Ivan De Oliveira Nunes

54 papers A* 11A 9Journal 29Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Boosting Device Utilization in Control Flow Auditing. CoRR Alexandra Lengert, Adam Ilyas Caulfield, Ivan De Oliveira Nunes
2025	J	`jnl`	Efficient Control Flow Attestation by Speculating on Control Flow Path Representations. CoRR Liam Tyler, Adam Caulfield, Ivan De Oliveira Nunes
2025	A*	`conf`	PEARTS: Provable Execution in Real-Time Embedded Systems. SP Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	J	`jnl`	Provable Execution in Real-Time Embedded Systems. CoRR Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	A*	`conf`	RAP-Track: Efficient Control Flow Attestation via Parallel Tracking in Commodity MCUs. DAC Antonio Joia Neto, Adam Caulfield, Ivan De Oliveira Nunes
2025	—	`conf`	Run-time Attestation and Auditing: The Verifier's Perspective. WISEC Adam Ilyas Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	J	`jnl`	SLAPP: Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. IEEE Trans. Inf. Forensics Secur. Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	A*	`conf`	SoK: Integrity, Attestation, and Auditing of Program Execution. SP Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes
2024	J	`jnl`	On the Verification of Control Flow Attestation Evidence. CoRR Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. CoRR Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	SoK: Runtime Integrity. CoRR Mahmoud Ammar, Adam Caulfield, Ivan De Oliveira Nunes
2024	A	`conf`	SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. ACSAC Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes
2024	J	`jnl`	SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation. CoRR Adam Caulfield, Liam Tyler, Ivan De Oliveira Nunes
2024	A	`conf`	TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. ACSAC Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. CoRR Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. IEEE Commun. Mag. Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2024	J	`jnl`	Towards Browser Controls to Protect Cookies from Malicious Extensions. CoRR Liam Tyler, Ivan De Oliveira Nunes
2024	J	`jnl`	Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2024	J	`jnl`	Untrusted Code Compartmentalization for Bare Metal Embedded Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Liam Tyler, Ivan De Oliveira Nunes
2023	A	`conf`	$\mathcal{D}\mathsf{iCA}$: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices. ICCAD Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares, Ivan De Oliveira Nunes
2023	A	`conf`	$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. ICCAD Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2023	A*	`conf`	ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. USENIX Security Symposium Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2023	J	`jnl`	ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. CoRR Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2023	J	`jnl`	DiCA: A Hardware-Software Co-Design for Differential Checkpointing in Intermittently Powered Devices. CoRR Antonio Joia Neto, Adam Caulfield, Chistabelle Alvares, Ivan De Oliveira Nunes
2023	A	`conf`	ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. RTAS Antonio Joia Neto, Ivan De Oliveira Nunes
2023	J	`jnl`	ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. CoRR Antonio Joia Neto, Ivan De Oliveira Nunes
2023	—	`conf`	Oblivious Extractors and Improved Security in Biometric-Based Authentication Systems. ESORICS (1) Ivan De Oliveira Nunes, Peter Rindal, Maliheh Shirvanian
2023	J	`jnl`	PARseL: Towards a Verified Root-of-Trust over seL4. CoRR Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2023	J	`jnl`	UCCA: A Verified Architecture for Compartmentalization of Untrusted Code Sections in Resource-Constrained Devices. CoRR Liam Tyler, Ivan De Oliveira Nunes
2022	J	`jnl`	ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems. CoRR Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2022	A*	`conf`	ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. DAC Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2022	A	`conf`	CASU: Compromise Avoidance via Secure Update for Low-End Embedded Systems. ICCAD Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik
2022	J	`jnl`	CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, Gene Tsudik
2022	A*	`conf`	GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices). USENIX Security Symposium Esmerald Aliaj, Ivan De Oliveira Nunes, Gene Tsudik
2022	J	`jnl`	Oblivious Extractors and Improved Security in Biometric-based Authentication Systems. IACR Cryptol. ePrint Arch. Ivan De Oliveira Nunes, Peter Rindal, Maliheh Shirvanian
2022	A*	`conf`	Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. SP Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik
2022	J	`jnl`	Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA. CoRR Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Gene Tsudik
2021	A*	`conf`	DIALED: Data Integrity Attestation for Low-end Embedded Devices. DAC Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik
2021	J	`jnl`	DIALED: Data Integrity Attestation for Low-end Embedded Devices. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik
2021	—	`conf`	Delegated attestation: scalable remote attestation of commodity CPS by blending proofs of execution with software attestation. WISEC Mahmoud Ammar, Bruno Crispo, Ivan De Oliveira Nunes, Gene Tsudik
2021	J	`jnl`	GAROTA: Generalized Active Root-Of-Trust Architecture. CoRR Esmerald Aliaj, Ivan De Oliveira Nunes, Gene Tsudik
2021	—	`conf`	On the Root of Trust Identification Problem. IPSN Ivan De Oliveira Nunes, Xuhua Ding, Gene Tsudik
2021	A*	`conf`	On the TOCTOU Problem in Remote Attestation. CCS Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2021	A	`conf`	Tiny-CFA: Minimalistic Control-Flow Attestation Using Verified Proofs of Execution. DATE Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik
2020	A*	`conf`	APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. USENIX Security Symposium Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2020	J	`jnl`	On the Root of Trust Identification Problem. CoRR Ivan De Oliveira Nunes, Xuhua Ding, Gene Tsudik
2020	J	`jnl`	On the TOCTOU Problem in Remote Attestation. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2020	J	`jnl`	Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Gene Tsudik
2019	J	`jnl`	A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. CoRR Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2019	A	`conf`	PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems. ICCAD Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2019	J	`jnl`	SNUSE: A secure computation approach for large-scale user re-enrollment in biometric authentication systems. Future Gener. Comput. Syst. Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint
2019	A	`conf`	Towards Systematic Design of Collective Remote Attestation Protocols. ICDCS Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
2019	A*	`conf`	VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. USENIX Security Symposium Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
2018	—	`conf`	Secure Non-interactive User Re-enrollment in Biometrics-Based Identification and Authentication Systems. CSCML Ivan De Oliveira Nunes, Karim Eldefrawy, Tancrède Lepoint