Reflection, Rewinding, and Coin-Toss in EasyCrypt

Denis Firsov, Dominique Unruh. Reflection, Rewinding, and Coin-Toss in EasyCrypt. IACR Cryptology ePrint Archive, 2021:1078, 2021. [doi]

Abstract

Abstract is missing.