×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [secrecy types]
Home >
secrecy types
Automatic Proof of Strong Secrecy for Security Protocols By Bruno Blanchet Originally presented at: IEEE Symposium on Security and Privacy Oakland, California,
217 views
Automatic Proof of Strong Secrecy for Security Protocols
50 views