Media type: E-Article Title: Automated Analysis of Cryptographic Assumptions in Generic Group Models Contributor: Barthe, Gilles; Fagerholm, Edvard; Fiore, Dario; Mitchell, John; Scedrov, Andre; Schmidt, Benedikt imprint: Springer Science and Business Media LLC, 2019 Published in: Journal of Cryptology Language: English DOI: 10.1007/s00145-018-9302-3 ISSN: 1432-1378; 0933-2790 Keywords: Applied Mathematics ; Computer Science Applications ; Software Origination: Footnote: