Alder, F., Daniel, L., Oswald, D., Piessens, F., & Van Bulck, J. (2023). Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes (Version 1.0.0) [Computer software]. https://doi.org/10.5281/zenodo.10390331