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

Computer Security
Stanford University via Coursera Cryptography II
Stanford University via Coursera Malicious Software and its Underground Economy: Two Sides to Every Story
University of London International Programmes via Coursera Building an Information Risk Management Toolkit
University of Washington via Coursera Introduction to Cybersecurity
National Cybersecurity Institute at Excelsior College via Canvas Network