Skip to content

Privacy Preserving Systems Lab

We at the PPS Lab build, investigate, and research software systems for data privacy and data security. Our mission is to develop technologies that enable applications to safely and securely interact with users data while preserving individual's privacy and make it easy for developers to build and develop privacy preserving applications.

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

News

Show more

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