×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [t freshp]
Home >
t freshp
Protocol Composition Logic Arnab Roy joint work with A. Datta, A. Derek, N. Durgin, J.C. Mitchell, D. Pavlovic CS259: Security Analysis of Network Protocols,
215 views
Computational Soundness for PCL Dilsun Kaynar Carnegie Mellon University Foundations of Security and Privacy October 11, 2007.
214 views
Protocol Composition Logic
23 views
Protocol Composition Logic
37 views