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 same thing, now at Sonatype See also: ©