USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Ivan De Oliveira Nunes [Clear All Filters]
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. 32nd USENIX Security Symposium (USENIX Security 23). :5827--5844.
.
2023. GAROTA: Generalized Active Root-Of-Trust Architecture (for Tiny Embedded Devices). 31st USENIX Security Symposium (USENIX Security 22). :2243--2260.
.
2022. APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. 29th USENIX Security Symposium (USENIX Security 20). :771--788.
.
2020. VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. 28th USENIX Security Symposium (USENIX Security 19). :1429--1446.
.
2019.