A foundational framework for modular cryptographic proofs in Coq
cryptography
coq-formalization
formal-verification
coq-library
state-separating-proofs
modular-cryptographic-proofs
-
Updated
Jul 15, 2024 - Coq
A foundational framework for modular cryptographic proofs in Coq
Add a description, image, and links to the state-separating-proofs topic page so that developers can more easily learn about it.
To associate your repository with the state-separating-proofs topic, visit your repo's landing page and select "manage topics."