Add CAPS 2025 presentation

Author: dstebila

assets/caps-2025-presentation-prooffrog.pdf

@@ -10,4 +10,6 @@ ProofFrog was one of the examples presented at the [Workshop on Computer-Aided P
 
 The [presentation](assets/caps-2025-presentation-prooffrog.pdf) walked through the pen-and-paper proof that the KEM-DEM construction is IND-CPA-secure, then showed the analogous proof in ProofFrog.
 
-A tutorial file walking through the pen-and-paper and ProofFrog proofs side-by-side, as well as executable ProofFrog files, can be found in the [proof-ladders asymmetric ladder repository on Github](https://github.com/proof-ladders/asymmetric-ladder/tree/main/kemdem/ProofFrog).
+A tutorial file walking through the pen-and-paper and ProofFrog proofs side-by-side, as well as executable ProofFrog files, can be found in the [proof-ladders asymmetric ladder repository on Github](https://github.com/proof-ladders/asymmetric-ladder/tree/main/kemdem/ProofFrog). 
+
+The Joy of Cryptography-style proof for KEM-DEM IND-CPA security by Mike Rosulek (with awesome animations) can be found at [https://garbledcircus.com/kemdem/left-right](https://garbledcircus.com/kemdem/left-right).

assets/caps-2025-presentation-prooffrog.pptx

@@ -64,7 +64,7 @@ The proof file can be found [here](https://github.com/ProofFrog/examples/blob/ma
 
 This proves [Claim 15.5](https://joyofcryptography.com/pdf/book.pdf#page=273)
 
-The proof file can be found [here](https://github.com/ProofFrog/examples/blob/main/Proofs/PubEnc/OTS%3D%3ECPA.proof).
+The proof file can be found [here](https://github.com/ProofFrog/examples/blob/main/Proofs/PubEnc/OTSimpliesCPA.proof).
 
 ## Hybrid Encryption is CPA secure