Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Enclave Programs
biblio
A Formal Foundation for Secure Remote Execution of Enclaves
Submitted by grigby1 on Wed, 02/21/2018 - 12:41pm
Microelectronics Security
composability
confidentiality
Enclave Programs
formal verification
integrity
Metrics
Microelectronic Security
pubcrawl
Remote Attestation
resilience
Resiliency
Secure computation
biblio
Automatic Enforcement of Expressive Security Policies Using Enclaves
Submitted by grigby1 on Tue, 05/30/2017 - 11:49am
composability
declassification
Enclave Programs
information erasure
information-flow control
language-based security
Metrics
object oriented security
pubcrawl
Resiliency
security-type system
biblio
A Design and Verification Methodology for Secure Isolated Regions
Submitted by grigby1 on Mon, 05/22/2017 - 12:42pm
channel coding
composability
confidentiality
confinement
Enclave Programs
formal verification
Human behavior
pubcrawl
Resiliency
Secure computation
Securing Compilers
