Automated Analysis of Cryptographic Assumptions in Generic Group Models.

Authors :: Barthe, Gilles
Fagerholm, Edvard
Fiore, Dario
Mitchell, John
Scedrov, Andre
Schmidt, Benedikt
Source :: Advances in Cryptology - CRYPTO 2014: 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I; 2014, p95-112, 18p
Publication Year :: 2014

Language :: English
ISBNs :: 9783662443705
Database :: Complementary Index
Journal :: Advances in Cryptology - CRYPTO 2014: 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I
Publication Type :: Book
Accession number :: 98834669
Full Text :: https://doi.org/10.1007/978-3-662-44371-2_6