Formosa Crypto
NewsPeopleProjectsPublicationsFormosa Supporters

News

  • Jasmin release 2022.04.0

    A new version of the Jasmin compiler is available.

  • EasyCrypt and Jasmin tutorial in Šibenik

    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.

  • Jasmin compiler in the opam repository

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

  • Jasmin lecture in Nancy

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

  • Jasmin release 2022.09.0

    A new version of Jasmin is available.

  • libjade release 2022.12.0

    The first version of libjade is available.

Formosa Crypto

  • Formosa Crypto
  • team@formosa-crypto.org
  • formosa-crypto
  • CryptoFormosa

The Formosa project federates multiple projects in machine-checked cryptography and high-assurance cryptographic engineering under a single banner, to better support developers and users.