μ)-Special-Sound Interactive Proofs

Thomas Attema, Serge Fehr, Michael Klooß, Nicolas Resch. μ)-Special-Sound Interactive Proofs. IACR Cryptology ePrint Archive, 2023:1945, 2023. [doi]

Abstract

Abstract is missing.