Formosa Crypto
NewsPeopleToolsProjectsPublicationsFormosa Supporters

EasyCrypt release 2024.01

Jan 16, 2024
  • The Formosa team
  • team@formosa-crypto.org

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