MPC

PELTA Project
Verifying HE-based multiparty computations against malicious adversaries