From Secrecy to Soundness: Efficient Verification via Secure Computation.

Benny Applebaum, Yuval Ishai, Eyal Kushilevitz

Browse the full ICALP paper archive.