Interactive Oracle Proofs

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]

@inproceedings{Ben-SassonCS16-0,
  title = {Interactive Oracle Proofs},
  author = {Eli Ben-Sasson and Alessandro Chiesa and Nicholas Spooner},
  year = {2016},
  doi = {10.1007/978-3-662-53644-5_2},
  url = {http://dx.doi.org/10.1007/978-3-662-53644-5_2},
  researchr = {https://researchr.org/publication/Ben-SassonCS16-0},
  cites = {0},
  citedby = {0},
  pages = {31-60},
  booktitle = {Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II},
  editor = {Martin Hirt and Adam D. Smith},
  volume = {9986},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-662-53643-8},
}