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

Formosa Projects

Formosa People

Formosa Supporters

Formosa and its component projects are supported by a variety of funders and institutions. We gratefully acknowledge their support, including historical support for the founding projects.The CASA Cluster of Excellence logoThe Eindhoven University of Technology logoThe European Research Council logoThe IMDEA Software Institute logoThe INESC TEC logoThe Inria logoThe Max Planck Institute for Security and Privacy logoThe University of Bristol logoThe University of Porto logo