136 reputation
4

TomMD

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 Tags (2)

Score 2
Posts 1
Score 2
Posts 1

Top Posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold
Silver
Bronze 4

Rarest