jasmin
Compiler for High-Assurance and High-Speed Cryptography
Description
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Install
- Published
-
28 Jun 2022
- Authors
-
Sources
jasmin-compiler-v2022.04.0.tar.bz2
sha256=5ad8a9a71a320c1ce8b89c8c70dbcffa0e8ae0e07a605cf16d12d564c8a5c379
Dependencies
ocamlfind
build
ocamlbuild
build
yojson
>= "1.6.0"
apron
>= "v0.9.12"
zarith
>= "1.9.0"
menhir
>= "20160825" & build
batteries
>= "3.2.0"
ocaml
>= "4.08.0" & build
Reverse Dependencies