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

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

building secure decentralized systems, privacy and anonymous communication, systems security, and blockchain technology

cryptography, network security, theoretical computer science

theory of contracts, portfolio selection, behavior finance, fintech, cryptocurrencies

secure computation, private search, non-malleable codes, leakage and tamper resilient cryptography, and strong public key encryption

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

programming languages, formal methods, operating systems, and computer security

information security, cryptography and algorithms