Automated analysis of cryptographic assumptions in generic group models (0)

by Gilles Barthe, Edvard Fagerholm, Dario Fiore, John Mitchell, Andre Scedrov, Benedikt Schmidt
Venue:in Crypto 2014 [18] (2014), 95–112. URL: https://eprint.iacr. org/2014/458. Citations in this document: §1.4