1. M. Abadi and J. Feigenbaum. 1990. Secure Circuit Evaluation. In J. Cryptology.
2. F. Alder, N. Asokan, A. Kurnikov, A. Paverd, and M. Steiner. 2018. S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX. In arXiv preprint 1810.06080 .
3. M. Y. Alhassan, D. Günther, Á. Kiss, and T. Schneider. 2019. Efficient and Scalable Universal Circuits. In Cryptology ePrint Archive, Report 2019/348.
4. A. Aly, D. Cozzo, M. Keller, E. Orsini, D. Rotaru, P. Scholl, N. P. Smart, and T. Wood. 2019. SCALE--MAMBA v1.5: Documentation .
5. I. Anati, S. Gueron, S. P. Johnson, and V. R. Scarlata. 2013. Innovative Technology for CPU Based Attestation and Sealing. In International Workshop on Hardware and Architectural Support for Security and Privacy (HASP) .