Game-based cryptography in HOL

Andreas Lochbihler, S. Reza Sefidgar, Bhargav Bhatt. Game-based cryptography in HOL. Archive of Formal Proofs, 2017, 2017. [doi]

Abstract

Abstract is missing.