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.

Join us on Zulip.

Formosa News

More news.

Formosa Projects

Formosa People

Formosa Affiliations and Supporters

Formosa and its component projects are supported by a variety of funders and institutions. Our active members work for the following institutions.
The CASA Cluster of Excellence logoThe Eindhoven University of Technology logoThe HochSchule RheinMain logoThe IMDEA Software Institute logoThe INESC TEC logoThe Inria logoThe Max Planck Institute for Security and Privacy logoThe PQShield logoThe SandboxAQ logoThe University of Bristol logoThe University of Melbourne logoThe University of Porto logo

In addition, other institutions support, and have supported Formosa or its constituent projects financially. We gratefully acknowledge their support.