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) Software Support for Dynamic Memory Allocation inside an Enclave. - Bin Cedric Xing; Mark Shanahan; Rebekah Leslie-Hurd (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)

Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads. - Dennis Abts; Jonathan Ross; Jonathan Sparling; Mark Wong-VanHaren; Max Baker; Tom Hawkins; Andrew Bell; John Thompson; Temesghen Kahsai; Garrin Kimmell; Jennifer Hwang; Rebekah Leslie-Hurd; et al. (ISCA, 2020)