Faculty
Embedded Files
Research: security, privacy, anonymity, and accountability, internet algorithmics, computational complexity
Research: verifiability and privacy in information systems, cryptographic proof systems, blockchains
Research: cryptographic protocols and security, theory of parallel and distributed systems, and discrete algorithms
Research: distributed systems, encrypted databases, networking, and algorithms
Research: verifiable and privacy-preserving computations, private and scalable blockchains and cryptocurrencies, building real-world privacy-preserving systems
Research: programming languages and operating systems, with a focus on language-based support for safety and security, certified system software, certified programming and compilation, formal methods, proof automation, concurrency, coordination, and type systems
Research: theoretical cryptography, post-quantum cryptography, complexity theory, secure computation
Research: security, privacy and scalability of decentralized systems, in particular those enabled by blockchains and trusted execution environments (TEEs)
Visitors
Postdocs
Research: cryptography, anonymity and privacy-preserving multiparty protocols and their applications to real-world systems like blockchains
PhD Students
Alumni (visitors)
Research: fintech (with focus on blockchain), economics & computer science (cross-disciplinary), game theory, information economics, governance, and market microstructure
Alumni (students)
Google Sites
Report abuse