Benny Applebaum, Yuval Ishai, Eyal Kushilevitz. From Secrecy to Soundness: Efficient Verification via Secure Computation. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Volume 6198 of Lecture Notes in Computer Science, pages 152-163, Springer, 2010. [doi]
@inproceedings{ApplebaumIK10-0,
title = {From Secrecy to Soundness: Efficient Verification via Secure Computation},
author = {Benny Applebaum and Yuval Ishai and Eyal Kushilevitz},
year = {2010},
doi = {10.1007/978-3-642-14165-2_14},
url = {http://dx.doi.org/10.1007/978-3-642-14165-2_14},
researchr = {https://researchr.org/publication/ApplebaumIK10-0},
cites = {0},
citedby = {0},
pages = {152-163},
booktitle = {Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I},
editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
volume = {6198},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14164-5},
}