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 Architecture
Princeton University via Coursera Introduction to Computer Architecture
Carnegie Mellon University via Independent Build a Modern Computer from First Principles: From Nand to Tetris (Project-Centered Course)
Hebrew University of Jerusalem via Coursera 计算机系统基础（一） ：程序的表示、转换与链接
Nanjing University via Coursera Computer Architecture
Indian Institute of Technology Madras via Swayam