writeups

Writeups from open-source and security work, post-quantum cryptography mostly. Each writeup is a standalone file in this repo. The same writeups, formatted for reading, are on mrwater00.github.io.

• Fixing a broken pip install --require-hashes in liboqs's root dependency file
• Hunting a timing side channel in liboqs's ML-KEM-768 decapsulation
• Formally validating liboqs's ML-KEM against NIST's FIPS 203 via ACVP
• Catching a KyberSlash-class bug in liboqs ML-KEM-768 with a patched Valgrind