CryptHOL: Game-Based Proofs in Higher-Order Logic
Crossref DOI link: https://doi.org/10.1007/s00145-019-09341-z
Published Online: 2020-01-06
Published Print: 2020-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Basin, David A.
Lochbihler, Andreas
Sefidgar, S. Reza
Text and Data Mining valid from 2020-01-06
Version of Record valid from 2020-01-06
Article History
Received: 24 July 2017
Revised: 3 September 2019
First Online: 6 January 2020