Forking Lemma in EasyCrypt

Denis Firsov, Jakub Janku. Forking Lemma in EasyCrypt. IACR Cryptology ePrint Archive, 2025:573, 2025. [doi]

Abstract

Abstract is missing.