News

• Release 2024.07.3 of the Jasmin compiler (February 25, 2025)
  

  A new minor version of Jasmin is available. Read the announcement.

• EasyCrypt release 2025.02 (February 10, 2025)
  

  EasyCrypt has adopted a rolling release strategy, with updates every six weeks, starting with the r2025.02 release. Read the announcement.

• Release 2024.07.2 of the Jasmin compiler (November 21, 2024)
  

  A new minor version of Jasmin is available. Read the announcement.

• Release 2024.07.1 of the Jasmin compiler (October 3, 2024)
  

  A new minor version of Jasmin is available. Read the announcement.

• Release 2024.07.0 of the Jasmin compiler (July 9, 2024)
  

  A new major version of Jasmin is available. Read the announcement.

• Release 2023.06.4 of the Jasmin compiler (June 18, 2024)
  

  A new minor version of Jasmin is available. Read the announcement.

• Release 2023.06.3 of the Jasmin compiler (April 10, 2024)
  

  A new minor version of Jasmin is available. Read the announcement.

• EasyCrypt release 2024.01 (January 16, 2024)
  

  A new version of EasyCrypt is available.

• Release 2023.06.2 of the Jasmin compiler (December 22, 2023)
  

  A new minor version of Jasmin is available. Read the announcement.

• Swarn Priya defends her PhD (November 27, 2023)
  

  Swarn Priya defended her PhD on November 22, 2023. Learn more.

• Swarn Priya wins L’Oréal-UNESCO 2023 prize (October 9, 2023)
  

  Swarn Priya won the L’Oréal-UNESCO “Pour les Femmes et la Science” Young Talents France 2023 Award. Read more.

• Release 2023.06.1 of the Jasmin compiler (July 31, 2023)
  

  A new minor version of Jasmin is available. Read the announcement.

• Release 2023.06.0 of the Jasmin compiler (June 9, 2023)
  

  A new major version of Jasmin is available. Read the announcement.

• Release 2022.09.3 of the Jasmin compiler (May 31, 2023)
  

  A new minor version of Jasmin is available. Read the announcement.

• Release 2022.09.2 of the Jasmin compiler (April 14, 2023)
  

  A new minor version of Jasmin is available. Read the announcement.

• Release 2022.12.0 of libjade, a post-quantum crypto library. (December 5, 2022)
  

  The first version of libjade is available. Read the announcement.

• Release 2022.09.0 of the Jasmin compiler (October 3, 2022)
  

  A new version of Jasmin is available. Read the announcement.

• Jasmin lecture at Cyber in Nancy (July 7, 2022)
  

  During the Cyber in Nancy summer school, Vincent Laporte and Benjamin Grégoire gave a lecture on Jasmin. More details and links to material.

• Opam repository now featuring Jasmin compiler (June 28, 2022)
  

  The Jasmin compiler can be installed using the opam package manager. Learn how.

• EasyCrypt and Jasmin tutorial in Šibenik (June 7, 2022)
  

  Manuel Barbosa will be giving a tutorial on machine-checked cryptography in EasyCrypt and Jasmin at the Summer School on Real-World Crypto and Privacy in Šibenik, Croatia, on June 16th. More details and links to material.

• The 2022.04.0 version of Jasmin has been released (May 6, 2022)
  

  A new version of the Jasmin compiler is available. Read the announcement.