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

standard compiler passes

biblio

Visible to the public Information-Flow Preservation in Compiler Optimisations

Submitted by aekwall on Mon, 12/02/2019 - 12:07pm
  • Scalability
  • optimization
  • passive side-channel attacks
  • program optimisations
  • Program processors
  • program transformations
  • program verification
  • pubcrawl
  • Resiliency
  • optimising compilers
  • Semantics
  • side-channel
  • side-channel attacks
  • source program
  • standard compiler passes
  • standards
  • target program
  • I-O Systems
  • Micromechanical devices
  • Metrics
  • information-flow preserving program transformation
  • information-flow preservation
  • information-flow leaks
  • Information Flow
  • IFP
  • correct compilers
  • Compositionality
  • compiler security
  • compiler optimisations
  • compiler
  • CompCert C compiler
  • security
  • i-o systems security

Terms of Use  |  ©2023. CPS-VO