Security Researcher working on Formal Methods, Cryptography, and Security & Privacy protocols.
-
Mozilla
- Paris, France
- https://beurdouche.github.io/
- https://orcid.org/0000-0001-6165-6909
- @beurdouche
beurdouche isn’t following anybody.
Learn more about being social on GitHub.