• The MLS protocol, both theoretical and implementation-wise
  • Private set intersection, particularly for contact discovery
  • Anonymous credential systems with blacklisting
  • Blind signature schemes

Past Work

  • Contributed to the spec of the MLS protocol for end-to-end encrypted group messaging. I’ve also implemented some earlier drafts of the protocol.
  • Did a year-long refactor of the Lol Haskell library for (ideal) lattice-based cryptography


lol i wish