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
Information Leak
biblio
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
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
