Download on the CryptoVerif page
Changes since the last release:
- cv2fstar:
- use an effect to make sure the generated code is used correctly.
- translate the security properties proved in CryptoVerif into F* axioms.
- fixed bug when the name of the table file is not the same as the
name of the table. - fixed bug when there are no tables.
- fixed bugs in encoding of tuples (added type tag, fixed decomposition).
- Fixed soundness bug with option improvedFactCollection = true.
