Denis Firsov, Dominique Unruh: Reflection, rewinding, and coin-toss in EasyCrypt. CPP 2022: 166-179