![](/img/cover-not-exists.png)
CryptHOL: Game-Based Proofs in Higher-Order Logic
Basin, David A., Lochbihler, Andreas, Sefidgar, S. RezaVolume:
33
Language:
english
Journal:
Journal of Cryptology
DOI:
10.1007/s00145-019-09341-z
Date:
April, 2020
File:
PDF, 1.35 MB
english, 2020