Technically correct is the best kind of correct

Author: dstebila

researchers/publications/index.md

@@ -14,7 +14,7 @@ This page lists papers, theses, and event material from the ProofFrog team. For
 
 - **Ross Evans.** *ProofFrog: A Tool for Verifying Game-Hopping Cryptographic Proofs.* Master's thesis, University of Waterloo, 2024. [UWSpace record](https://hdl.handle.net/10012/20441) ([PDF](https://uwspace.uwaterloo.ca/bitstream/handle/10012/20441/Evans_Ross.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](https://eprint.iacr.org/2025/418).
+- **Ross Evans, Matthew McKague, Douglas Stebila.** *ProofFrog: A Tool For Verifying Game-Hopping Proofs.* Cryptology ePrint Archive, Paper 2025/418, 2025. [eprint.iacr.org/2025/418](https://eprint.iacr.org/2025/418).
 
 ## Talks and workshops demos