483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck
Security researchers examine technical aspects of 483 Pandora Principled Symbolic Validation of Intel SGX Enclave Runtimes Jo Van Bulck.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·14 min
Half&Half: Demystifying Intel’s Directional Branch Predictors for Fast, Secure Partitioned Execution
Security researchers examine technical aspects of Half&Half: Demystifying Intel’s Directional Branch Predictors for Fast, Secure Partitioned Execution.
halfdemystifyingintel+3
IEEE Symposium on Security and Privacy·18 min
Industry experts analyze emerging threats surrounding SMILE: Secure Memory Introspection for Live Enclave.
smilememoryintrospection+1
IEEE Symposium on Security and Privacy·20 min
Presenters detail vulnerability discovery and exploitation in vSGX: Virtualizing SGX Enclaves on AMD SEV.
amdvsgxvirtualizing+2