I work on applied cryptography and computer security problems as Galois Inc. This means anything from memory safe EDSLs, to protocol analysis, or section of cryptographic primitives.

See also: https://tommd.github.io