Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes.

Fritz Alder, Lesly-Ann Daniel, David F. Oswald, Frank Piessens, Jo Van Bulck

Browse the full SP paper archive.