state-separating-proofs

There are 0 repository under state-separating-proofs topic.

• SSProve / ssprove

  A foundational framework for modular cryptographic proofs in Coq

  cryptographycoq-librarycoq-formalizationstate-separating-proofsformal-verificationmodular-cryptographic-proofs
  Language:Coq 53