APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise

TitleAPEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise
Publication TypeConference Paper
Year of Publication2020
AuthorsNunes IDe Oliveir, Eldefrawy K, Rattanavipanon N, Tsudik G
Conference Name29th USENIX Security Symposium (USENIX Security 20)
Date Published08/2020
PublisherUSENIX Association
ISBN Number978-1-939133-17-5
URLhttps://www.usenix.org/conference/usenixsecurity20/presentation/nunes