USENIX Security '20 - APEX: A Verified Architecture for Proofs of Execution on Remote Devices...
▶USENIX Security '20 - APEX: A Verified Architecture for Proofs of Execution on Remote Devices... — a USENIX security conference talk on iot, hardware-firmware (13:48 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube