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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Proof-Carrying Code

biblio

Visible to the public 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

Visible to the public 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)

Terms of Use  |  ©2023. CPS-VO