David Wong's Projects
Blogs about Cryptography/Security to follow
Auditing Applied Cryptography
Implementations of popular elliptic curves
bindings to the dalek suite of libraries
A threat model for democracies in general
🤖 The core logic behind Dependabot's update PR creation, and the public issue tracker for all things Dependabot
implementation of the DES cipher in C
How to backdoor Diffie-Hellman
a protocol to encrypt communications and a cryptographic library based on Disco
A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519
Formal Verification of the Disco protocol using Tamarin
A composable build system for OCaml.
Streamlining the release of dune packages to opam
package.json workflow for native development with Reason/OCaml
Need to encrypt a file before sending it to someone? This is it.
repository for people to leave feedback for the book Real World Cryptography
a time tracker to avoid slacking (firefox plugin)
Format your damn OCaml code!
Go Assembly by Example
Implementation of KangarooTwelve in Go
stuff
SPHINCS+ in Golanmg
An ocaml library to encode to and decode from hexadecimal strings
Homebrew formula for the Eureka tool