Automated Analysis of Cryptographic Assumptions in Generic Group Models presented at crypto 2014

by John C. Mitchell, Dario Fiore, Benedikt Schmidt, Gilles Barthe, Edvard Fagerholm, Andre Scedrov,

Summary : N/A