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
Dynamical Systems
biblio
On Essential Configuration Complexity: Measuring Interactions in Highly-configurable Systems
Submitted by grigby1 on Thu, 05/18/2017 - 1:44pm
composability
Configurable Software
Dynamical Systems
feature interaction
Metrics
pubcrawl
Resiliency
security scalability
Variability-Aware Execution
biblio
Dependency Graph Analysis and Moving Target Defense Selection
Submitted by grigby1 on Thu, 05/18/2017 - 1:44pm
attack graphs
attack surface
composability
Cybersecurity
dynamic defense
Dynamical Systems
graph theory
Malware Analysis
Metrics
moving target defenses
pubcrawl
Resiliency
biblio
Towards Cost-Effective Moving Target Defense Against DDoS and Covert Channel Attacks
Submitted by grigby1 on Thu, 05/18/2017 - 1:44pm
composability
Control Theory
Dynamical Systems
Metrics
moving target defenses
privacy
pubcrawl
Resiliency
system security
theory
biblio
On the Effectiveness of Sensor-enhanced Keystroke Dynamics Against Statistical Attacks
Submitted by grigby1 on Thu, 05/18/2017 - 1:44pm
biometric authentication
biometric encryption
composability
Dynamical Systems
keystroke analysis
keystroke dynamics
Metrics
Mobile Security
pubcrawl
Resiliency
sensor dynamics
statistical attacks
biblio
Zone Poisoning: The How and Where of Non-Secure DNS Dynamic Updates
Submitted by grigby1 on Thu, 05/18/2017 - 1:43pm
composability
DNS
domain name system
dynamic updates
Dynamical Systems
Measurement
Metrics
pubcrawl
Resiliency
security
zone poisoning
biblio
Reuse Distance-Based Probabilistic Cache Replacement
Submitted by grigby1 on Thu, 05/18/2017 - 1:43pm
Cache replacement policy
composability
Dynamical Systems
Metrics
probabilistic replacement
pubcrawl
Resiliency
reuse distance
biblio
LDX: Causality Inference by Lightweight Dual Execution
Submitted by grigby1 on Wed, 05/17/2017 - 12:54pm
causality inference
composability
concurrency and security
concurrency security
dual execution
dynamic analysis
Dynamical Systems
Metrics
pubcrawl
Resiliency
taint analysis
biblio
A Graph-Based Impact Metric for Mitigating Lateral Movement Cyber Attacks
Submitted by grigby1 on Mon, 04/03/2017 - 10:31am
Dynamical Systems
signature based defense
Security Metrics
security
Resiliency
pubcrawl
Metrics
impact metric
graph
attack graphs
cyber security
Control Theory
Computing Theory
comparability
big data security metrics
big data security
Big Data
biblio
Robust-to-dynamics linear programming
Submitted by grigby1 on Wed, 03/08/2017 - 12:55pm
pubcrawl170110
upper bounds
uncertainty
structural properties
semidefinite programming based algorithm
semidefinite programming
Robustness
robust-to-dynamics optimization
robust-to-dynamics linear programming
robust optimization problems
Robust optimization
RDO
Asymptotic stability
polynomial time
optimization
Nonlinear dynamical systems
mathematical program
linear system
Linear programming
linear dynamics
Heuristic algorithms
Facsimile
Dynamical Systems
dynamical system
file
Proofs from Simulations and Modular Annotations
Submitted by amyclay on Tue, 11/17/2015 - 3:06pm
Compositional Veri cation
Compositional Verification
Dynamical Systems
Input-to-state Stability
Simulation-based Verification
UIUC
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
