@InProceedings{hirahara:LIPIcs.CCC.2015.244, author = {Hirahara, Shuichi}, title = {{Identifying an Honest EXP^NP Oracle Among Many}}, booktitle = {30th Conference on Computational Complexity (CCC 2015)}, pages = {244--263}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-81-1}, ISSN = {1868-8969}, year = {2015}, volume = {33}, editor = {Zuckerman, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CCC.2015.244}, URN = {urn:nbn:de:0030-drops-50718}, doi = {10.4230/LIPIcs.CCC.2015.244}, annote = {Keywords: nonuniform complexity, short advice, instance checker, interactive proof systems, probabilistic checkable proofs} }