jasmin

Compiler for High-Assurance and High-Speed Cryptography