@inproceedings {291156,
	author = {Adam Caulfield and Norrathep Rattanavipanon and Ivan De Oliveira Nunes},
	title = {{ACFA}: Secure Runtime Auditing \& Guaranteed Device Healing via Active Control Flow Attestation},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {5827--5844},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/caulfield},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {279892,
	author = {Esmerald Aliaj and Ivan De Oliveira Nunes and Gene Tsudik},
	title = {{GAROTA}: Generalized Active {Root-Of-Trust} Architecture (for Tiny Embedded Devices)},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {2243--2260},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/aliaj},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {251532,
	author = {Ivan De Oliveira Nunes and Karim Eldefrawy and Norrathep Rattanavipanon and Gene Tsudik},
	title = {{APEX}: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise},
	booktitle = {29th USENIX Security Symposium (USENIX Security 20)},
	year = {2020},
	isbn = {978-1-939133-17-5},
	pages = {771--788},
	url = {https://www.usenix.org/conference/usenixsecurity20/presentation/nunes},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {236230,
	author = {Ivan De Oliveira Nunes and Karim Eldefrawy and Norrathep Rattanavipanon and Michael Steiner and Gene Tsudik},
	title = {{VRASED}: A Verified {Hardware/Software} {Co-Design} for Remote Attestation},
	booktitle = {28th USENIX Security Symposium (USENIX Security 19)},
	year = {2019},
	isbn = {978-1-939133-06-9},
	address = {Santa Clara, CA},
	pages = {1429--1446},
	url = {https://www.usenix.org/conference/usenixsecurity19/presentation/de-oliveira-nunes},
	publisher = {USENIX Association},
	month = aug
}
