Ganesh, C and Magri, B and Venturi, D (2020) Cryptographic reverse firewalls for interactive proof systems. In: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, 8-11, July 2020, Germany.