Proof Systems

PELTA Project
Verifying HE-based multiparty computations against malicious adversaries
VERITAS Project
Verifying FHE computations against covert clouds