Nothing Special   »   [go: up one dir, main page]

Skip to content

Releases: SSProve/ssprove

v0.2.2

27 Nov 14:32
d199572
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.2.1...v0.2.2

v0.2.1

15 Jul 13:38
6b2fcff
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.2.0...v0.2.1

v0.2.0

06 Apr 08:46
09e6d9e
Compare
Choose a tag to compare

What's Changed

New Contributors

Full Changelog: v0.1.0...v0.2.0

v0.1.0

06 Apr 08:46
ffd5807
Compare
Choose a tag to compare

What's Changed

Full Changelog: journal-version...v0.1.0

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

07 Apr 10:47
586d6db
Compare
Choose a tag to compare
Merge pull request #37 from 4ever2/update-deps

Support Coq 8.16 and 8.17

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

06 Sep 11:22
Compare
Choose a tag to compare
journal-submission

Fix KEM-DEM definition of CCA

Companion to CSF paper "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"

21 May 18:08
Compare
Choose a tag to compare