News People Tools Projects Publications Formosa Supporters

Formosa X-Wing

Formosa X-Wing is a formally verified implementation of X-Wing hybrid KEM.

Formosa X-Wing People

Aaron Kaiser
João Diogo Duarte

The Formosa team
team@formosa-crypto.org

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