There are 0 repository under state-separating-proofs topic.
A foundational framework for modular cryptographic proofs in Coq