tfaoliveira

Porto, Portugal

Pinned Repositories

jasmin
Language for high-assurance and high-speed cryptography
Language:Coq248 12 27051
cryptoline
Language:OCaml0 1 00
dilithium
Language:C0 1 00
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml00
hakyber
Language:eC0 1 00
jasmin
Jasmin examples
Language:eC1 3 00
libjade
Language:eC0 1 00
libjc
Language:eC19 10 22
qhasm-translator
x86 qhasm to C translator (powered by Perl)
Language:Assembly10 4 01
sphincsplus-jasmin
The SPHINCS+ code in Jasmin
Language:C11

tfaoliveira's Repositories

tfaoliveira/libjc
Language:eC19 10 22
tfaoliveira/qhasm-translator
x86 qhasm to C translator (powered by Perl)
Language:Assembly10 4 01
tfaoliveira/jasmin
Jasmin examples
Language:eC1 3 00
tfaoliveira/sphincsplus-jasmin
The SPHINCS+ code in Jasmin
Language:C11
tfaoliveira/cryptoline
Language:OCaml0 1 00
tfaoliveira/dilithium
Language:C0 1 00
tfaoliveira/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Language:OCaml00
tfaoliveira/hakyber
Language:eC0 1 00
tfaoliveira/libjade
Language:eC0 1 00
tfaoliveira/stash
Language:C0 3 00
tfaoliveira/supercop
flip (++) " + some experiments." "Always up-to-date mirror of the SUPERCOP cryptographic benchmark"
Language:C0 1 00
tfaoliveira/supercopp
Language:Shell