Proof Systems

UC MHE Project
HE-based On-the-Fly MPC, Revisited - Universal Composability, Approximate and Imperfect Computation, Circuit Privacy
PELTA Project
Verifying HE-based multiparty computations against malicious adversaries
VERITAS Project
Verifying FHE computations against covert clouds