- 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
- same thing, now at Sonatype
See also: https://tommd.github.io