Arno Mittelbach, Daniele Venturi. Fiat-Shamir for Highly Sound Protocols Is Instantiable. In Vassilis Zikas, Roberto De Prisco, editors, Security and Cryptography for Networks - 10th International Conference, SCN 2016, Amalfi, Italy, August 31 - September 2, 2016, Proceedings. Volume 9841 of Lecture Notes in Computer Science, pages 198-215, Springer, 2016. [doi]
Abstract is missing.