Generalized Special-Sound Interactive Proofs and Their Knowledge Soundness.

Thomas Attema, Serge Fehr, Nicolas Resch

Browse the full TCC paper archive.