Interactive coding for interactive proofs

Allison Bishop; Yevgeniy Dodis

doi:10.1007/978-3-662-49099-0_13

Interactive coding for interactive proofs

Allison Bishop, Yevgeniy Dodis

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We consider interactive proof systems over adversarial communication channels. We show that the seminal result that IP = PSPACE still holds when the communication channel is malicious, allowing even a constant fraction of the communication to be arbitrarily corrupted.

Original language	English (US)
Title of host publication	Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings
Editors	Eyal Kushilevitz, Tal Malkin
Publisher	Springer Verlag
Pages	352-366
Number of pages	15
ISBN (Print)	9783662490983
DOIs	https://doi.org/10.1007/978-3-662-49099-0_13
State	Published - 2016
Event	13th International Conference on Theory of Cryptography, TCC 2016 - Tel Aviv, Israel Duration: Jan 10 2016 → Jan 13 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9563
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	13th International Conference on Theory of Cryptography, TCC 2016
Country/Territory	Israel
City	Tel Aviv
Period	1/10/16 → 1/13/16

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-662-49099-0_13

Cite this

Bishop, A., & Dodis, Y. (2016). Interactive coding for interactive proofs. In E. Kushilevitz, & T. Malkin (Eds.), Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings (pp. 352-366). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9563). Springer Verlag. https://doi.org/10.1007/978-3-662-49099-0_13

Interactive coding for interactive proofs. / Bishop, Allison; Dodis, Yevgeniy.
Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings. ed. / Eyal Kushilevitz; Tal Malkin. Springer Verlag, 2016. p. 352-366 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9563).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Bishop, A & Dodis, Y 2016, Interactive coding for interactive proofs. in E Kushilevitz & T Malkin (eds), Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9563, Springer Verlag, pp. 352-366, 13th International Conference on Theory of Cryptography, TCC 2016, Tel Aviv, Israel, 1/10/16. https://doi.org/10.1007/978-3-662-49099-0_13

Bishop A, Dodis Y. Interactive coding for interactive proofs. In Kushilevitz E, Malkin T, editors, Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings. Springer Verlag. 2016. p. 352-366. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-49099-0_13

Bishop, Allison ; Dodis, Yevgeniy. / Interactive coding for interactive proofs. Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings. editor / Eyal Kushilevitz ; Tal Malkin. Springer Verlag, 2016. pp. 352-366 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2f1cda679e874d1991721fbd17e244ea,

title = "Interactive coding for interactive proofs",

abstract = "We consider interactive proof systems over adversarial communication channels. We show that the seminal result that IP = PSPACE still holds when the communication channel is malicious, allowing even a constant fraction of the communication to be arbitrarily corrupted.",

author = "Allison Bishop and Yevgeniy Dodis",

note = "Publisher Copyright: {\textcopyright} International Association for Cryptologic Research 2016.; 13th International Conference on Theory of Cryptography, TCC 2016 ; Conference date: 10-01-2016 Through 13-01-2016",

year = "2016",

doi = "10.1007/978-3-662-49099-0_13",

language = "English (US)",

isbn = "9783662490983",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "352--366",

editor = "Eyal Kushilevitz and Tal Malkin",

booktitle = "Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings",

}

TY - GEN

T1 - Interactive coding for interactive proofs

AU - Bishop, Allison

AU - Dodis, Yevgeniy

N1 - Publisher Copyright: © International Association for Cryptologic Research 2016.

PY - 2016

Y1 - 2016

N2 - We consider interactive proof systems over adversarial communication channels. We show that the seminal result that IP = PSPACE still holds when the communication channel is malicious, allowing even a constant fraction of the communication to be arbitrarily corrupted.

AB - We consider interactive proof systems over adversarial communication channels. We show that the seminal result that IP = PSPACE still holds when the communication channel is malicious, allowing even a constant fraction of the communication to be arbitrarily corrupted.

UR - http://www.scopus.com/inward/record.url?scp=84954122861&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84954122861&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-49099-0_13

DO - 10.1007/978-3-662-49099-0_13

M3 - Conference contribution

AN - SCOPUS:84954122861

SN - 9783662490983

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 352

EP - 366

BT - Theory of Cryptography - 3th International Conference, TCC 2016-A, Proceedings

A2 - Kushilevitz, Eyal

A2 - Malkin, Tal

PB - Springer Verlag

T2 - 13th International Conference on Theory of Cryptography, TCC 2016

Y2 - 10 January 2016 through 13 January 2016

ER -

Interactive coding for interactive proofs

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this