Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Security VO
Home
Archive
About
Search
Calendar
Members
Contact Us
Forums
Files
CPS-VO
»
Science of Security VO
» UIUC
UIUC
biblio
Proofs from Simulations and Modular Annotations
Submitted by amyclay on Tue, 11/17/2015 - 4:06pm
Compositional Verification
Dynamical Systems
Input-to-state Stability
Simulation-based Verification
UIUC
file
Differentially Private Iterative Synchronous Consensus
Submitted by amyclay on Tue, 11/17/2015 - 3:52pm
Iterative consensus; privacy; convergence; distributed agreement
UIUC
biblio
Differentially Private Iterative Synchronous Consensus
Submitted by amyclay on Tue, 11/17/2015 - 3:52pm
Iterative consensus; privacy; convergence; distributed agreement
UIUC
file
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Submitted by amyclay on Tue, 11/17/2015 - 3:40pm
Medical Devices
Health Care
Science of Security
biological networks
hybrid systems
invariants
pacemakers.
Safety
UIUC
verification
health care
medical devices
NSA SoS Lablets Materials
Science of Security
UIUC
NSA SoS Lablets Materials
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
biblio
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Submitted by amyclay on Tue, 11/17/2015 - 3:40pm
Medical Devices
Health Care
Science of Security
biological networks
health care
hybrid systems
invariants
medical devices
NSA SoS Lablets Materials
pacemakers.
Safety
Science of Security
UIUC
verification
UIUC
NSA SoS Lablets Materials
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
file
Controller Synthesis for Linear Time-varying Systems with Adversaries
Submitted by amyclay on Tue, 11/17/2015 - 3:28pm
Critical Infrastructure
Science of Security
constraint-based synthesis
Controller Synthesis
critical infrastructure
cyber-physical security
NSA SoS Lablets Materials
Science of Security
UIUC
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
UIUC
NSA SoS Lablets Materials
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
biblio
Controller Synthesis for Linear Time-varying Systems with Adversaries
Submitted by amyclay on Tue, 11/17/2015 - 3:28pm
Critical Infrastructure
Science of Security
constraint-based synthesis
Controller Synthesis
critical infrastructure
cyber-physical security
NSA SoS Lablets Materials
Science of Security
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
UIUC
UIUC
NSA SoS Lablets Materials
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
file
User-aware privacy control via extended static-information-flow analysis
Submitted by amyclay on Tue, 11/17/2015 - 12:15pm
Science of Security
information flow analysis
Mobile Application
Privacy Control
static analysis
UIUC
Mobile Platform Security
UIUC
Information Flow Control
NSA SoS Lablets Materials
biblio
User-Aware Privacy Control via Extended Static-Information-Flow Analysis
Submitted by amyclay on Tue, 11/17/2015 - 12:15pm
Science of Security
information flow analysis
Mobile Application
Privacy Control
static analysis
UIUC
Mobile Platform Security
UIUC
Information Flow Control
NSA SoS Lablets Materials
biblio
AppContext: Differentiating Malicious and Benign Mobile App Behavior Under Context
Submitted by amyclay on Tue, 11/17/2015 - 11:58am
Science of Security
Human and Societal Aspects of Security and Privacy
malware detection
NSA SoS Lablets Materials
Science of Security
security-sensitive behavior
UIUC
UIUC
Human and Societal Aspects of Security and Privacy
NSA SoS Lablets Materials
Science of Human Circumvention of Security
« first
‹ previous
…
32
33
34
35
36
37
38
39
40
next ›
last »
