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.
- 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 and its component projects are supported by a variety of funders. We gratefully acknowledge their support, including historical support for the founding projects.