collaborators

1 paper

cs.CR2026

Game Hopping in Lean

Stefan Dziembowski, Grzegorz Fabiański, Daniele Micciancio +1

We present HOPSCOTCH, a Lean 4 framework for mechanizing computationally sound, game-based cryptographic proofs. Security definitions are expressed as indistinguishability between…