Cryptography work
Check out some of my work on the Lurk VM and its underlying prover Sphinx. Also check out my work on the Lampe formal verification framework.
I also have some fun PQC projects cooking, check back here or my Blog for some related updates.
Also check out my Github to check out what I've been up to.