Add CAPS 2025 workshop

Author: dstebila

caps-2025.md

@@ -0,0 +1,13 @@
+---
+title: CAPS 2025 Tutorial
+layout: default
+nav_order: 7
+---
+
+# CAPS 2025 Tutorial
+
+ProofFrog was one of the examples presented at the [Workshop on Computer-Aided Proofs of Security (CAPS)](https://caps-workshop.com/) at Eurocrypt 2025.
+
+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).

examples.md

@@ -1,6 +1,7 @@
 ---
 title: Examples
 layout: default
+nav_order: 4
 ---
 
 # Examples

files/index.md

@@ -3,6 +3,7 @@ title: Files
 layout: default
 has_children: true
 has_toc: false
+nav_order: 5
 ---
 
 ProofFrog has four types of files: [Primitive Files]({% link files/primitive.md %}), [Scheme Files]({% link files/scheme.md %}), [Game Files]({% link files/game.md %}) and [Proof Files]({% link files/proof.md %}).

functionality.md

@@ -1,6 +1,7 @@
 ---
 title: Engine Functionality
 layout: default
+nav_order: 3
 ---
 
 # Engine Functionality

hacs.md

@@ -1,9 +1,10 @@
 ---
-title: HACS Exercise
+title: HACS 20024 Exercise
 layout: default
+nav_order: 6
 ---
 
-# HACS Exercises
+# HACS 2024 Exercises
 
 In [Lúcás C. Meier's blog post](https://cronokirby.com/posts/2022/05/state-separable-proofs-for-the-curious-cryptographer/) on state separable proofs, he presents a section on hybrid arguments for state separable proofs. One can encode this proof in EasyCrypt.
 

philosophy.md

@@ -1,6 +1,7 @@
 ---
 title: Design Philosophy
 layout: default
+nav_order: 2
 ---
 
 # Design Philosophy