GitHub - garrettgu10/JANT: Automatically verifying native-compiled Wasm modules for constant-time behavior modulo ARM DIT

garrettgu10 / JANT Public

Automatically verifying native-compiled Wasm modules for constant-time behavior modulo ARM DIT

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
test		test
.gitignore		.gitignore
Dockerfile		Dockerfile
Makefile		Makefile
NewScript.java		NewScript.java
TestScript.java		TestScript.java
analyzeHeadless		analyzeHeadless
do_substitution.sh		do_substitution.sh
run_check.sh		run_check.sh
sha256_update_firstpass_style.pco		sha256_update_firstpass_style.pco
test.c		test.c
wasmtime.sh		wasmtime.sh