From secrecy to soundness: Efficient verification via secure computation (2010)

by B Applebaum, Y Ishai, E Kushilevitz
Venue:In ICALP