Research interests include security, privacy, cryptography, and distributed systems
Recent work focuses on securing data and services in the cloud
Specific topics include high-speed zero-knowledge proofs and zkSNARKs, folding schemes and recursive arguments, and rollback protection for confidential cloud services
Past work includes Byzantine consensus, fault-tolerance in cloud services, formal verification of distributed systems and cryptographic libraries, metadata-private communication, and decentralized identity