I am a cryptographer working in the area of information security and privacy. I am interested in both present and future real-world protocols like SSL/TLS and decentralized cryptographic currency, credential, and smart contract systems, especially when they involve questions of privacy and anti-surveillance. I am also interested in ethical dilemmas arising from the use of such new technologies.
I am fascinated by the intersection of formal verification, foundations of cryptography and applied cryptography. Applied cryptography needs different foundations than theoretical cryptography, and I believe the former are best built on formal verification.
Privacy-enhancing cryptographic protocols
- Anonymous credentials
- Privacy for cryptographic currencies and the blockchain
- Verifiable computation and secure cloud computing
- Anonymous communication
Formal verification of protocol implementations
- Secure channels
- Cryptographic APIs
- Verified cryptographic libraries