Browsing Theses by Author "Evans, Ross"
Now showing items 1-1 of 1
-
ProofFrog: A Tool For Verifying Game-Hopping Proofs
Evans, Ross (University of Waterloo, 2024-04-15)Cryptographic proofs allow researchers to provide theoretical guarantees on the security that their constructions provide. A proof of security can completely eliminate a class of attacks by potential adversaries. Human ...