Verifying Linearizability of Intel® Software Guard Extensions. - Rebekah Leslie-Hurd; Dror Caspi; Matthew Fernandez (CAV (2), 2015)

Intel® Software Guard Extensions (Intel® SGX) Support for Dynamic Memory Management Inside an Enclave. - Frank McKeen; Ilya Alexandrovich; Ittai Anati; Dror Caspi; Simon Johnson; Rebekah Leslie-Hurd; Carlos V. Rozas (HASP@ISCA, 2016)

Intel® Software Guard Extensions (Intel® SGX) Architecture for Oversubscription of Secure Memory in a Virtualized Environment. - Somnath Chakrabarti; Rebekah Leslie-Hurd; Mona Vij; Frank McKeen; Carlos V. Rozas; Dror Caspi; Ilya Alexandrovich; Ittai Anati (HASP@ISCA, 2017)

Security analysis of confidential-compute instruction set architecture for virtualized workloads. - Ravi Sahita; Dror Caspi; Barry Huntley; Vincent Scarlata; Baruch Chaikin; Siddhartha Chhabra; Arie Aharon; Ido Ouziel (SEED, 2021)