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 Questions
stackoverflow.com
Top Answers