I'm interested in Cryptography and Data Privacy.
I currently work as a Research Engineer at Symbolic Software.
Free Open Source Software projects I'm involved in:
"Noise Explorer" : [
"Test suite for protocols implementations",
"Implementation of Noise protocols in Rust",
"Verifpal" : [
"Formalizing Verifpal semantics in Coq",
"Proving soundness of Verifpal analysis",
The next conference I will be attending is: Eurocrypt 2020.
- Verifpal: Cryptographic Protocol Analysis for the Real World
- How Verifpal Dramatically Sped Up the Formal Modeling Efforts for a New Pandemic-Tracing Protocol
- Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols (IEEE Euro S&P 2019)
The joy of x
Cool Paper#1 Related Talk
Cool Paper#2 Related Talk
Send me an email!