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

by Yuval Ishai, Eyal Kushilevitz
Venue:In Proceedings of the 37th international colloquium conference on Automata, languages and programming