Formal Abstractions for Attested Execution Secure Processors

Name: Formal Abstractions for Attested Execution Secure Processors
Uploaded: 2017-01-01
Duration: 26 min 13 s
Description: Formal Abstractions for Attested Execution Secure Processors — a 2017 Eurocrypt 2017 security conference talk on crypto, hardware-firmware (26:13 min). Watch the full video, indexed free on the Breach Arc Archive.

Eurocrypt 2017 · 2017 · 26:13

▶

Formal Abstractions for Attested Execution Secure Processors — a 2017 Eurocrypt 2017 security conference talk on crypto, hardware-firmware (26:13 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto hardware-firmware

← Back to the Breach Arc Archive