Pinned Repositories
formosa-25519
Jasmin implementations of x25519
libjade
Crypto library
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
formosa-mlkem
jasmin
Language for high-assurance and high-speed cryptography
Optimal-Parameters-and-Complexity-for-Crossbred-Algorithm
Mirrored from GitLab
xmss-reference-binsec-rel
Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
yasnippet-snippets
a collection of yasnippet snippets for many languages
xwing
Implementation of X-Wing Hybrid KEM in C
xwing-benchmarks
JoaoDiogoDuarte's Repositories
JoaoDiogoDuarte/yasnippet-snippets
a collection of yasnippet snippets for many languages
JoaoDiogoDuarte/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
JoaoDiogoDuarte/formosa-mlkem
JoaoDiogoDuarte/jasmin
Language for high-assurance and high-speed cryptography
JoaoDiogoDuarte/jasmin-lang-syntax-highlighting
Emacs syntax highlighting for Jasmin using font-lock (partially generated by ChatGPT)
JoaoDiogoDuarte/joaodiogoduarte.github.io
Personal site
JoaoDiogoDuarte/kyber-mlkem-static
JoaoDiogoDuarte/libjade
Crypto library
JoaoDiogoDuarte/Optimal-Parameters-and-Complexity-for-Crossbred-Algorithm
Mirrored from GitLab
JoaoDiogoDuarte/supercop
Always up-to-date mirror of the SUPERCOP cryptographic benchmark.
JoaoDiogoDuarte/xmss-reference-binsec-rel
Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme