5 Projects

Some projects withheld for commercial or public identification reasons. Note that my GitHub is essentially inactive at this point and only used for issues and contributions on other people’s projects. If I need an issue tracker and a wiki for any of my projects I’ll port them over to Fossil or host a Gitea instance.

5.1 TinyCrypT

Git Repository, also mirrored (read-only) on GitHub

Short and sweet classical cryptographic primitives. Currently working on tagged release 1.0.0, which will bring:

• Full memory soundness proofs (using Frama-C and WP)
• A CI pipeline
• Constant-time, secret erasure, and Spectre/Meltdown resistance proofs on supported platforms (using BINSEC)
• More thorough documentation
• As many test vectors as possible
• Fuzzing/golden tests (probably using OpenSSL)
• The ChaCha20-Poly1305-SIV construction
• As many optimizations as I can make reasonably portable

5.2 Circe VPN

Git Repository

Tiny, fast, portable, and paranoid VPN using primitives from TinyCrypT, mldsa-native, and mlkem-native. Intended for use as a fully self-hosted mesh VPN. Development is currently on pause while I bring TinyCrypT to its 1.0.0.