New release CryptoVerif 2.10

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.

Comments are closed.