Lattices

HELIUM Project
Scalable MPC among Lightweight Participants and under Churn
PELTA Project
Verifying HE-based multiparty computations against malicious adversaries
VERITAS Project
Verifying FHE computations against covert clouds