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