Tiago Oliveira's repositories
qhasm-translator
x86 qhasm to C translator (powered by Perl)
sphincsplus-jasmin
The SPHINCS+ code in Jasmin
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCamlMIT000
Language:Shell000
x86 qhasm to C translator (powered by Perl)
The SPHINCS+ code in Jasmin
EasyCrypt: Computer-Aided Cryptographic Proofs