I've work:

• communication and computer security for a mix of organizations.
• on applied cryptography and computer security problems at Galois. This was anything from memory safe EDSLs, to protocol analysis, SMC, homomorphic encryption, or section of cryptographic primitives.
• improving the state of software development to bring static analysis to the masses at Muse Dev
• and on and on...

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