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
Logic and Verification
biblio
Scalable Call Graph Constructor for Maven
Submitted by grigby1 on Tue, 03/15/2022 - 11:13am
tools
security
pubcrawl
resilience
Resiliency
Scalability
Ecosystems
Libraries
Metrics
Compositionality
software engineering
Logic and Verification
Pragmatics
program analysis
Theory of computation
scalable verification
biblio
An Analysis of Fedora Security Profile
Submitted by vouk on Wed, 09/17/2014 - 5:32pm
Testing
Science of Security
Validation and Verification
Foundations
ACM CCS
cyber security
detection
Domain-Specific Security and Privacy Architectures
Fedora
Formal Methods and Theory of Security
foundations
Logic and Verification
Non-Operational Testing
prediction
Science of Security
security faults
Software and Application Security
testing
validation and verification
vulnerabilities
ACM CCS
Domain-Specific Security and Privacy Architectures
Cyber Security
Formal Methods and Theory of Security
Logic and Verification
Software and Application Security
biblio
Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation Among Configuration Options
Submitted by Pfeffer Juergen on Wed, 09/17/2014 - 5:32pm
Certification
Concurrency and Timing
ACM CCS
certification
composability
concurrency and timing
configuration options
cyber security
Formal Methods and Theory of Security
foundations
Logic and Verification
network analysis
Science of Security
Security Metrics
validation and verification
ACM CCS
Cyber Security
Formal Methods and Theory of Security
Logic and Verification
biblio
Architecture-based Self-protection: Composing and Reasoning About Denial-of-service Mitigations
Submitted by David Garlan on Wed, 09/17/2014 - 5:30pm
Architectures
Architectures
Modeling
Science of Security
Validation and Verification
CPS Technologies
Foundations
Hardware Security Implementation
validation and verification
Self-Adaptation
Security in Hardware
Science of Security
Probabilistic Model Checking
modeling
Logic and Verification
Hardware-Based Security Protocols
ACM CCS
foundations
Formal Security Models
Formal Methods and Theory of Security
Denial-of-Service
cyber security
CPS Technologies
Architectures
ACM CCS
Hardware-Based Security Protocols
Cyber Security
Formal Security Models
Formal Methods and Theory of Security
Logic and Verification
Hardware Security Implementation
Security in Hardware
