External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formal Foundation for Secure Remote Execution of Enclaves

Pramod Subramanyan, Rohit Sinha 0001, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia. A Formal Foundation for Secure Remote Execution of Enclaves. IACR Cryptology ePrint Archive, 2017:565, 2017. [doi]

Authors

Pramod Subramanyan

This author has not been identified. Look up 'Pramod Subramanyan' in Google

Rohit Sinha 0001

This author has not been identified. Look up 'Rohit Sinha 0001' in Google

Ilia A. Lebedev

This author has not been identified. Look up 'Ilia A. Lebedev' in Google

Srinivas Devadas

This author has not been identified. Look up 'Srinivas Devadas' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google
runs on