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

linked source code

biblio

Visible to the public Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Submitted by aekwall on Mon, 12/02/2019 - 12:08pm
  • robust preservation
  • hyperproperties
  • linked adversarial code
  • linked adversarial target code
  • linked source code
  • linked target code
  • liveness
  • low-level target language
  • multiple programs
  • noninterference
  • property classes
  • relational hyperproperties
  • relational properties
  • good programming languages
  • robust property preservation
  • secure compilation
  • secure compilation chain
  • Secure interoperability
  • secure linking
  • Security Foundations
  • source language
  • source-level abstraction
  • strictly stronger security guarantees
  • supported security goals
  • trace properties
  • compiler security
  • Compositionality
  • security of data
  • Scalability
  • Resiliency
  • pubcrawl
  • Cryptography
  • Metrics
  • Libraries
  • program diagnostics
  • program verification
  • Writing
  • Space exploration
  • Security Properties
  • Safety
  • program compilers
  • secure code
  • source program
  • adversarial contexts
  • arbitrary adversarial contexts
  • compiled program
  • Computer languages
  • equivalent property-free
  • formal secure compilation criteria
  • full abstraction
  • fully abstract compilation chain

Terms of Use  |  ©2023. CPS-VO