Game-based cryptography in HOL. - Andreas Lochbihler; S. Reza Sefidgar; Bhargav Bhatt (Arch. Formal Proofs, 2017)