Research directions
Our research covers foundational as well as applied areas.
Main directions of our research include:
- Cryptography for Privacy
Zero-knowledge proofs and blockchains - Provably secure and efficient cryptography
Design of cryptographic schemes and optimization for specific applications - Scalability and Interoperability of Blockchains
Payment channels and blockchain protocols - Static analysis
Frameworks for automatic soundness checks of programs - Web security
Formal verification of web protocols and standards - Secure Systems Lab
Applied systems security (mobiles, IoT) and malware analysis and detection