Going Beyond Dual Execution: MPC for Functions with Efficient Verification Posted August 13, 2020 by Yonit Homburger