Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes (2024)

First Author: Alder F
Attributed to:  CAP-TEE: Capability Architectures for Trusted Execution funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.computer.org/csdl/proceedings-article/sp/2024/313000a090/1Ub22X8beDe

Type: Conference/Paper/Proceeding/Abstract