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
UIUC
file
Differentially Private Distributed Optimization
Submitted by amyclay on Tue, 11/17/2015 - 5:40pm
Science of Security
UIUC
NSA SoS Lablets Materials
Science of Security
UIUC
NSA SoS Lablets Materials
Classification of Cyber-Physical System Adversaries
biblio
Differentially Private Distributed Optimization
Submitted by amyclay on Tue, 11/17/2015 - 5:40pm
Science of Security
NSA SoS Lablets Materials
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
Classification of Cyber-Physical System Adversaries
biblio
Entropy-minimizing Mechanism for Differential Privacy of Discrete-time Linear Feedback Systems
Submitted by amyclay on Tue, 11/17/2015 - 5:00pm
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
file
Entropy minimizing Mechanism for Differential Privacy of Discrete time Linear Feedback Systems
Submitted by amyclay on Tue, 11/17/2015 - 5:00pm
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
file
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Submitted by amyclay on Tue, 11/17/2015 - 2: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 - 2: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 - 2: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 - 2: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 - 11:15am
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 - 11:15am
Science of Security
information flow analysis
Mobile Application
Privacy Control
static analysis
UIUC
Mobile Platform Security
UIUC
Information Flow Control
NSA SoS Lablets Materials
« first
‹ previous
…
10
11
12
13
14
15
16
17
18
next ›
last »
