News

• Jasmin release 2024.07.2 (November 21, 2024)
  

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

• Jasmin release 2024.07.1 (October 3, 2024)
  

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

• Jasmin release 2024.07.0 (July 9, 2024)
  

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

• Jasmin release 2023.06.4 (June 18, 2024)
  

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

• Jasmin release 2023.06.3 (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.

• Jasmin release 2023.06.2 (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.

• Jasmin release 2023.06.1 (July 31, 2023)
  

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

• Jasmin release 2023.06.0 (June 9, 2023)
  

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

• Jasmin release 2022.09.3 (May 31, 2023)
  

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

• Jasmin release 2022.09.2 (April 14, 2023)
  

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

• libjade release 2022.12.0 (December 5, 2022)
  

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

• Jasmin release 2022.09.0 (October 3, 2022)
  

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

• Jasmin lecture 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.

• Jasmin compiler in the opam repository (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.

• Jasmin release 2022.04.0 (May 6, 2022)
  

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