Skip to content

Companion to journal submission "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"

Pre-release
Pre-release
Compare
Choose a tag to compare
@TheoWinterhalter TheoWinterhalter released this 06 Sep 11:22
· 52 commits to main since this release
journal-submission

Fix KEM-DEM definition of CCA