Dror Caspi

According to our database, Dror Caspi authored at least 4 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the 2021 International Symposium on Secure and Private Execution Environment Design (SEED), 2021

2017

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

Proceedings of the Hardware and Architectural Support for Security and Privacy, 2017

2016

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

Proceedings of the Hardware and Architectural Support for Security and Privacy 2016, 2016

2015

Verifying Linearizability of Intel® Software Guard Extensions.

Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez

Proceedings of the Computer Aided Verification - 27th International Conference, 2015