ProofFrog: A Tool For Verifying Game-Hopping Proofs. - Ross Evans; Matthew McKague; Douglas Stebila (IACR Cryptol. ePrint Arch., 2025)