Work

A Formal Foundation for Secure Remote Execution of Enclaves

Year: 2017

Type: conference-paper

Source: ACM SIGSAC Conference on Computer and Communications Security (CCS)

DOI: 10.1145/3133956.3134098

Authors: Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas, Sanjit A. Seshia

Institutions: University of California, Berkeley, Massachusetts Institute of Technology

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Microelectronics Advanced Research Corporation

Award: TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security

OpenAlex ID: W2767174522

FWCI: 7.917

Cites: 86

Cited by: 123

Related to: 10