Bending elliptic curves and constructing languages for a living. Cryptography researcher. Turning coffee into cryptographic protocols. Views are my own, proofs are formally-verified. 🏳️‍🌈🏳️‍⚧️