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
reachability analysis
biblio
Formulation of SQL Injection Vulnerability Detection as Grammar Reachability Problem
Submitted by grigby1 on Mon, 01/21/2019 - 11:15am
Access Control
Compositionality
cross-site scripting
flow graphs
Grammar
Human behavior
Metrics
Production
pubcrawl
reachability analysis
Resiliency
SQL injection
static analysis
vulnerabilities detection
vulnerability detection
Web application
biblio
From Simulation Models to Hybrid Automata Using Urgency and Relaxation
Submitted by grigby1 on Tue, 09/05/2017 - 12:25pm
composability
CPS modeling
hybrid automata
hybrid systems
Metrics
numerical analysis
pubcrawl
reachability analysis
Resiliency
simulation
urgency
biblio
UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
Submitted by grigby1 on Tue, 05/30/2017 - 11:45am
composability
initialization analysis
kernel information leak
linux operating systems security
memory initialization
Metrics
pubcrawl
reachability analysis
Resiliency
uninitialized read
profile
Matthias Althoff
Systems Engineering
Validation and Verification
verification
reachability analysis
hybrid systems
file
Reachability as a Tool for Understanding Wireless Network Routing Security
Submitted by rudra on Fri, 11/01/2013 - 3:40pm. Contributors:
Rudra Dutta
Trisha Biswas
Meeko Oishi
Kendra Lesser
Science of Security
Foundations
reachability analysis
wireless
Wireless Network Routing
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Mobile and Wireless Security
NCSU
NSA SoS Lablets Materials
« first
‹ previous
1
2
