D3.C — Cryptographic Reverse Firewalls for Interactive Proof Systems

ICALP 2020