Publications & More
This page lists papers, theses, and event material from the ProofFrog team. For curated case studies of external projects using ProofFrog, see External Uses.
Papers and theses
-
Ross Evans. ProofFrog: A Tool for Verifying Game-Hopping Cryptographic Proofs. Master’s thesis, University of Waterloo, 2024. UWSpace record (PDF).
-
Ross Evans, Matthew McKague, Douglas Stebila. ProofFrog: A Tool For Verifying Transitions in Game-Hopping Proofs. Cryptology ePrint Archive, Paper 2025/418, 2025. eprint.iacr.org/2025/418.
Talks and workshops demos
- HACS 2024 — Exercises prepared for the High Assurance Cryptographic Software 2024 workshop.
- CAPS 2025 — Presentation and related tutorial (on KEM-DEM IND-CPA security) at the Computer-Aided Proofs of Security workshop at Eurocrypt 2025.
- HACS 2026 — Demos prepared for the High Assurance Cryptographic Software 2026 workshop.
How to cite ProofFrog
Until a peer-reviewed venue version appears, the recommended form is to cite the eprint:
@misc{cryptoeprint:2025/418,
author = {Ross Evans and Matthew McKague and Douglas Stebila},
title = {{ProofFrog}: A Tool For Verifying Transitions in Game-Hopping Proofs},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/418},
year = {2025},
url = {https://eprint.iacr.org/2025/418}
}
The Evans thesis can be cited as:
@mastersthesis{evans2024prooffrog,
author = {Ross Evans},
title = {{ProofFrog}: A Tool for Verifying Game-Hopping Cryptographic Proofs},
school = {University of Waterloo},
year = {2024},
type = {Master's thesis},
url = {https://hdl.handle.net/10012/20441}
}
When citing the implementation directly, also link the GitHub repository: https://github.com/ProofFrog/ProofFrog.