This is your work, valued
shuffle. (Mostly-finished) implementation of Andrew Neff's verified shuffle. Term project for ECS 235a, Matt Bishop, Winer 2016.
9better_proofs. Security proofs written to be machine checkable.
6store. Oblivious storage of Go maps.
4bulletproofs. A pure-Rust implementation of Bulletproofs using Ristretto.
4sgcm. Improvements to Go's implementation of Galois counter mode.
1ech-mint. Minting logic for the ECH extension for TLS (draft-ietf-tls-esni)
1salamander. Salamander is an image processing application based on OpenCV for filtering field cameras. These programs detect when targets appear and filters the video feed as long as they remain in frame.
1yubi. Building a better YubiKey. Term project for CNT 5410, Patrick Traynor, Fall 2017.
1seaice. Code for the online YAMZ metadictionary (formerly seaice).
1