Companion to journal submission "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"
Pre-release
Pre-release
·
58 commits
to main
since this release
journal-submission Fix KEM-DEM definition of CCA