Going Beyond Dual Execution: MPC for Functions with Efficient Verification.

Carmit Hazay, Abhi Shelat, Muthuramakrishnan Venkitasubramaniam

Browse the full PKC paper archive.