Libjade

Libjade is a cryptographic library written in jasmin, with computer-verified proof of correctness and security in EasyCrypt. The primary focus of libjade is to offer high-assurance software implementations of post-quantum crypto primitives. The implementations available in this tool are listed and detailed in the [Formosa Projects page](../projects).

Libjade People