Pandora: Principled symbolic validation of Intel SGX enclave runtimes

F Alder, LA Daniel, D Oswald… - … IEEE Symposium on …, 2024 - ieeexplore.ieee.org
The popularity of Intel SGX technology in recent years has given rise to a wide range of
shielding runtimes to transparently safeguard secure enclave applications against a hostile …

Fuzzing LibraryOSes for Iago vulnerabilities

L Dyachkov, M Orenbach, M Silberstein - Proceedings of the 16th ACM …, 2023 - dl.acm.org
Fuzzing LibraryOSes for Iago vulnerabilities Page 1 Fuzzing LibraryOSes for Iago vulnerabilities
Leonid Dyachkov Technion Israel d.leonid@technion.ac.il Meni Orenbach NVIDIA Israel …