Automated Analysis of Cryptographic Assumptions in Generic Group Models.

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

Browse the full CRYPTO paper archive.