Cryptology ePrint Archive: Report 2014/458
Available versions in chronological order
20140615:112122 (posted 15-Jun-2014 11:21:22 UTC)
Automated Analysis of Cryptographic Assumptions in Generic Group Models
Gilles Barthe and Edvard Fagerholm and Dario Fiore and John Mitchell and Andre Scedrov and Benedikt Schmidt
Original publication (in the same form): IACR-CRYPTO-2014
[
Cryptology ePrint archive
]