(Q113906162)
Statements
CryptHOL: Game-Based Proofs in Higher-Order Logic (English)
1 reference
David A. Basin
1 reference
Andreas Lochbihler
1 reference
S. Reza Sefidgar
1 reference
6 January 2020
1 reference
33
1 reference
2
1 reference
494-566
1 reference