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
Science of Security
biblio
Differentially Private Distributed Optimization
Submitted by amyclay on Tue, 11/17/2015 - 6:40pm
Science of Security
NSA SoS Lablets Materials
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
Classification of Cyber-Physical System Adversaries
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
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
file
AppContext Differentiating Malicious and Benighn Mobile App Behaviors Using Context
Submitted by amyclay on Tue, 11/17/2015 - 11:58am
Science of Security
malware detection
security-sensitive behavior
UIUC
Human and Societal Aspects of Security and Privacy
NSA SoS Lablets Materials
Science of Security
UIUC
Human and Societal Aspects of Security and Privacy
NSA SoS Lablets Materials
Science of Human Circumvention of Security
biblio
Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
Submitted by amyclay on Tue, 11/17/2015 - 11:46am
Science of Security
NSA SoS Lablets Materials
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
Science of Human Circumvention of Security
file
Gamifying Softwre Security Education and Training via Secure Codeing Duels in Code Hunt Poster Abstract
Submitted by amyclay on Tue, 11/17/2015 - 11:46am
Science of Security
UIUC
NSA SoS Lablets Materials
Science of Security
UIUC
NSA SoS Lablets Materials
Science of Human Circumvention of Security
biblio
Mismorphism: A Semiotic Model of Computer Security Circumvention (poster abstract)
Submitted by amyclay on Tue, 11/17/2015 - 11:36am
Science of Security
Human and Societal Aspects of Security and Privacy
Science of Security
UIUC
UIUC
Human and Societal Aspects of Security and Privacy
Science of Human Circumvention of Security
« first
‹ previous
…
37
38
39
40
41
42
43
44
45
…
next ›
last »
