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

Information Leak

biblio

Visible to the public An Axiomatic Approach to Detect Information Leaks in Concurrent Programs

Submitted by grigby1 on Fri, 08/26/2022 - 11:24am
  • software engineering
  • leaky assertions
  • Information Leak
  • correctness
  • concurrent programs
  • axiomatic approach
  • Concurrency
  • Context
  • Concurrent computing
  • security
  • Software algorithms
  • Metrics
  • programming
  • real-time systems
  • composability
  • Resiliency
  • resilience
  • pubcrawl
biblio

Visible to the public Memory-Safe Elimination of Side Channels

Submitted by grigby1 on Mon, 03/14/2022 - 12:20pm
  • maintenance engineering
  • Side Channel
  • program transformation
  • Information Leak
  • Transforms
  • contracts
  • Metrics
  • Policy Based Governance
  • Safe Coding
  • pubcrawl
  • Memory management
  • Runtime
  • Safety
  • optimization
  • Resiliency
  • resilience
  • Human Factors
  • Human behavior

Terms of Use  |  ©2023. CPS-VO