Pinned Repositories
jasmin
Language for high-assurance and high-speed cryptography
cryptoline
dilithium
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
hakyber
jasmin
Jasmin examples
libjade
libjc
qhasm-translator
x86 qhasm to C translator (powered by Perl)
sphincsplus-jasmin
The SPHINCS+ code in Jasmin
tfaoliveira's Repositories
tfaoliveira/libjc
tfaoliveira/qhasm-translator
x86 qhasm to C translator (powered by Perl)
tfaoliveira/jasmin
Jasmin examples
tfaoliveira/sphincsplus-jasmin
The SPHINCS+ code in Jasmin
tfaoliveira/cryptoline
tfaoliveira/dilithium
tfaoliveira/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
tfaoliveira/hakyber
tfaoliveira/libjade
tfaoliveira/stash
tfaoliveira/supercop
flip (++) " + some experiments." "Always up-to-date mirror of the SUPERCOP cryptographic benchmark"
tfaoliveira/supercopp