YoVDO

Principled Symbolic Validation of Intel SGX Enclave Runtimes

Offered By: IEEE via YouTube

Tags

Intel SGX Courses Cybersecurity Courses Computer Architecture Courses Trusted Execution Environment Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a comprehensive analysis of Intel SGX enclave runtimes through principled symbolic validation in this 20-minute IEEE conference talk. Delve into the intricacies of the Pandora framework, which employs advanced techniques to assess the security and reliability of SGX enclaves. Learn about the methodologies used to identify potential vulnerabilities and verify the integrity of enclave runtimes. Gain insights into the challenges faced in securing trusted execution environments and discover how symbolic validation contributes to enhancing the robustness of Intel SGX technology.

Syllabus

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


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Systems & Networks Seminar - Andrew Bauman - Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software
Paul G. Allen School via YouTube Plundervolt - Flipping Bits from Software without Rowhammer
Black Hat via YouTube When Good Turns Evil - Using Intel SGX to Stealthily Steal Bitcoins
Black Hat via YouTube CLKscrew - Exposing the Perils of Security-Oblivious Energy Management
Black Hat via YouTube Port Contention for Fun and Profit
IEEE via YouTube