Formosa Crypto | The Formosa project federates multiple tools and projects in machine-checked cryptography and high-ass…

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.