distributed algorithms

security, privacy, anonymity, and accountability, internet algorithmics, computational complexity

verifiability and privacy in information systems, cryptographic proof systems, blockchains

cryptographic protocols and security, theory of parallel and distributed systems, and discrete algorithms

dis­trib­uted sys­tems, encrypted data­bases, net­work­ing, and al­gorithms

verifiable and privacy-preserving computations, private and scalable blockchains and cryptocurrencies, building real-world privacy-preserving systems

theoretical Cryptography, post-quantum cryptography, complexity theory, secure computation

computer architecture, hardware security, post-quantum cryptography

security, privacy and scalability of decentralized systems, in particular those enabled by blockchains and trusted execution environments (TEEs)