blipp
7
reputation
2
Researcher in cryptography working on mechanization of cryptographic security proofs, mainly for real-world protocols.