Publications

VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption
Helium: Scalable MPC among Lightweight Participants and under Churn
PELTA -- Shielding Multiparty-FHE against Malicious Adversaries
Privacy and Integrity Preserving Computations with CRISP
SoK: Privacy-Preserving Collaborative Tree-based Model Learning
Decentralized Privacy-Preserving Proximity Tracing
Reproducing Meta-learning with differentiable closed-form solvers