Skip to content

Privacy Preserving Systems Lab

At the Privacy-Preserving Systems Lab, we build practical systems that enable computation on sensitive data without exposing it. We focus on making privacy-enabling technologies such as homomorphic encryption, secure multi-party computation, and zero-knowledge proofs efficient, scalable, and accessible.

Much of our current work focuses on the security and accountability of AI systems. We develop methods to securely audit and verify machine learning pipelines, establish trustworthy data provenance, and address security challenges in emerging agentic AI systems. Our broader goal is to make strong privacy, security, and accountability guarantees practical for real-world systems.

Projects

Secure and Robust Collaborative Learning thumbnail

Secure and Robust Collaborative Learning

End-to-End Designs for Data Privacy thumbnail

End-to-End Designs for Data Privacy

Accessible Privacy Preserving Computation thumbnail

Accessible Privacy Preserving Computation

Privacy Preserving Stream Analytics at Scale thumbnail

Privacy Preserving Stream Analytics at Scale

Recent Blogs

All posts
  1. Verifying Apple Reference Images

  2. Secure LLM Inference with MP-SPDZ

  3. Does It Matter How You Pick Your Batches?

  1. This week, Nicolas Küchler [Photo] and Hidde Lycklama [Photo] successfully defended their Ph.D. theses. Congratulations to our newly minted doctors! [Photo] [Photo] [Photo].

Publications

Thumbnail of Scaling Zero Knowledge UNSAT Verification via Normalized Chaining

Ashwin Karthikeyan*, Ethan Kharitonov*, Kuldeep S. Meel, Anwar Hithnawi

Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2026)

Thumbnail of Towards Practical Zero-Knowledge Proof for PSPACE

Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo

IEEE Security and Privacy (Oakland) 2026.

Thumbnail of HEIR: A Universal Compiler for Homomorphic Encryption

Asra Ali, Jaeho Choi, Bryant Gipson, Shruthi Gorantala, Jeremy Kun, Wouter Legiest, Lawrence Lim, Alexander Viand, Meron Zerihun Demissie, Hongren Zheng

Preprint, arXiv:2508.11095

Thumbnail of CoVault: Secure, Scalable Analytics of Personal Data.

Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel

USENIX Security 2025.

Thumbnail of vFHE: Verifiable Fully Homomorphic Encryption

Christian Knabenhans*, Alexander Viand*, Antonio Merino-Gallardo, Anwar Hithnawi

Workshop on Encrypted Computing & Applied Homomorphic Cryptography (WAHC '24)

Research Highlights

Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning
Verifiable Fully Homomorphic Encryption
Security and Robustness of Collaborative Learning
FHE Development Ecosystem: Tools, Compilers & Challenges
HECO: Fully Homomorphic Encryption Compiler
Zeph: Cryptographic Enforcement of Privacy
Towards Robust FHE for the Real World
Cohere Managing Differential Privacy in Large Scale Systems
RoFL: Robustness of Secure Federated Learning