483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck

Name: 483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck
Uploaded: 2024-01-01
Duration: 19 min 43 s
Description: 483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck — a 2024 IEEE S&P Sessions 2024 security conference talk on hardware-firmware, vuln-research (19:43 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P Sessions 2024 · 2024 · 19:43

▶

483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck — a 2024 IEEE S&P Sessions 2024 security conference talk on hardware-firmware, vuln-research (19:43 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

hardware-firmware vuln-research

← Back to the Breach Arc Archive