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

• EasyCrypt — Project Website — Project Repository
  

  EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs.

• Jasmin — Project Website — Project Repository
  

  Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.

• Libjade — Project Website — Project Repository
  

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.