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
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
Submitted by amyclay on Wed, 11/18/2015 - 3:34pm
UIUC
file
Sequentional Protocol Composition in Maude-NPA
Submitted by amyclay on Wed, 11/18/2015 - 3:23pm
UIUC
biblio
Sequential Protocol Composition in Maude-NPA
Submitted by amyclay on Wed, 11/18/2015 - 3:23pm
UIUC
file
Preemptive Intrusion Detection Theoretical Framework and Real-World Measurements
Submitted by amyclay on Wed, 11/18/2015 - 3:17pm
Science of Security
UIUC
Intrusion/Anomaly Detection and Malware Mitigation
NSA SoS Lablets Materials
Science of Security
UIUC
Intrusion/Anomaly Detection and Malware Mitigation
NSA SoS Lablets Materials
Data Driven Security Models and Analysis
biblio
Preemptive Intrusion Detection: Theoretical Framework and Real-World Measurements
Submitted by amyclay on Wed, 11/18/2015 - 3:17pm
Science of Security
Intrusion/Anomaly Detection and Malware Mitigation
NSA SoS Lablets Materials
Science of Security
UIUC
UIUC
Intrusion/Anomaly Detection and Malware Mitigation
NSA SoS Lablets Materials
Data Driven Security Models and Analysis
file
Differentially Private Distributed Optimization
Submitted by amyclay on Tue, 11/17/2015 - 6: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 - 6: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 - 6: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 - 6:00pm
Science of Security
UIUC
UIUC
NSA SoS Lablets Materials
biblio
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Submitted by amyclay on Tue, 11/17/2015 - 5:26pm
biological networks
hybrid systems
invariants
verification
UIUC
« first
‹ previous
…
30
31
32
33
34
35
36
37
38
…
next ›
last »
