Eli Ben-Sasson, Alessandro Chiesa, Nicholas Spooner. Interactive Oracle Proofs. In Martin Hirt, Adam D. Smith, editors, Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II. Volume 9986 of Lecture Notes in Computer Science, pages 31-60, 2016. [doi]
Abstract is missing.