DMCA

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

by Gilles Barthe , Edvard Fagerholm , Dario Fiore , John Mitchell , Andre Scedrov , Benedikt Schmidt
Venue:In Advances in Cryptology – CRYPTO 2014, LNCS
Citations:6 - 3 self