Cryptographic Reverse Firewalls for Interactive Proof Systems

Chaya Ganesh, Bernardo Magri, Daniele Venturi 0001. Cryptographic Reverse Firewalls for Interactive Proof Systems. In Artur Czumaj, Anuj Dawar, Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference). Volume 168 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

@inproceedings{GaneshM020,
  title = {Cryptographic Reverse Firewalls for Interactive Proof Systems},
  author = {Chaya Ganesh and Bernardo Magri and Daniele Venturi 0001},
  year = {2020},
  doi = {10.4230/LIPIcs.ICALP.2020.55},
  url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.55},
  researchr = {https://researchr.org/publication/GaneshM020},
  cites = {0},
  citedby = {0},
  booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference)},
  editor = {Artur Czumaj and Anuj Dawar and Emanuela Merelli},
  volume = {168},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-138-2},
}