Fiat-Shamir for highly sound protocols is instantiable

Arno Mittelbach, Daniele Venturi 0001. Fiat-Shamir for highly sound protocols is instantiable. Theoretical Computer Science, 740:28-62, 2018. [doi]

Abstract

Abstract is missing.