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

Top Answers
1 2 3 4 5 8