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

Request an invitation by email (join *at* formosa-crypto *dot* org) to join us on Zulip.

Formosa Projects

Formosa People

Formosa Funding

Formosa and its component projects are supported by a variety of funders. We gratefully acknowledge their support, including historical support for the founding projects.