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
Proof-Carrying Code
biblio
Practical and Efficient In-Enclave Verification of Privacy Compliance
Submitted by grigby1 on Thu, 02/24/2022 - 12:19pm
Software
security
Scalability
Runtime
pubcrawl
Proof-Carrying Code
Privacy Policies
privacy
Intel SGX
Human behavior
Generators
Enclave Shielding Runtime
data privacy
Data models
Confidential computing
file
Generating Proof-Carrying Code for the UDP protocol
Submitted by brad_martin on Tue, 04/22/2014 - 11:38am. Contributors:
Garrin Kimmel
Christoph Kreitz
Douglas Smith
Eric Smith
Edwin Westbrook
Stephen Westfold
Presented as part of the
2014 HCSS conference
.
Abstract:
Kestrel Institute
Proof-Carrying Code
proofs
Refinement
specification
synthesis
National HCSS Conference 2014
Research Organization
Presentation
HCSS'14
Specifications and Requirements (HCSS'14)
