Crossmark

Automated Analysis of Cryptographic Assumptions in Generic Group Models

Crossref DOI link: https://doi.org/10.1007/s00145-018-9302-3

Published Online: 2018-12-18

Published Print: 2019-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Barthe, Gilles

Fagerholm, Edvard

Fiore, Dario

Mitchell, John

Scedrov, Andre

Schmidt, Benedikt
License Information

Text and Data Mining valid from 2018-12-18
More Information

Article History

Received: 28 July 2015

Revised: 7 July 2018

First Online: 18 December 2018

Free to read: This content has been made available to all.