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
Simulation Debugging and Visualization in the Mobius Modeling Framework
Submitted by amyclay on Mon, 11/23/2015 - 5:04pm
UIUC
file
Modeling and Anaylysis of Stepping Stone Attacks
Submitted by amyclay on Mon, 11/23/2015 - 3:50pm
UIUC
biblio
Modeling and Analysis of Stepping Stone Attacks
Submitted by amyclay on Mon, 11/23/2015 - 3:50pm
UIUC
file
A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA
Submitted by amyclay on Wed, 11/18/2015 - 4:11pm
UIUC
biblio
A Formal Definition of Protocol Indistinguishability and its Verification Using Maude-NPA
Submitted by amyclay on Wed, 11/18/2015 - 4:11pm
UIUC
file
Theories of Homomorphic Encryption Unification and the Finite Variant Property
Submitted by amyclay on Wed, 11/18/2015 - 4:02pm
cryptographic protocol analysis
finite variant property
Homomorphic encryption
unification
UIUC
biblio
Theories for Homomorphic Encryption, Unification and the Finite Variant Property
Submitted by amyclay on Wed, 11/18/2015 - 4:02pm
cryptographic protocol analysis
finite variant property
Homomorphic encryption
unification
UIUC
file
A Rewriting-based Forwards Semantics for Maude-NPA
Submitted by amyclay on Wed, 11/18/2015 - 3:45pm
cryptographic protocol analysis
logical narrowing-based reachability analysis
reasoning modulo an equational theory
standard rewriting-based model checking
UIUC
biblio
A Rewriting-based Forward Semantics for Maude-NPA
Submitted by amyclay on Wed, 11/18/2015 - 3:44pm
cryptographic protocol analysis
logical narrowing-based reachability analysis
reasoning modulo an equational theory
standard rewriting-based model checking
UIUC
file
Asymmetric Unification A New Unification Paradigm for Cryptographic Protocol Analysis
Submitted by amyclay on Wed, 11/18/2015 - 3:34pm
UIUC
« first
‹ previous
…
29
30
31
32
33
34
35
36
37
…
next ›
last »