[Resource Topic] 2021/1078: Reflection, Rewinding, and Coin-Toss in EasyCrypt

Welcome to the resource topic for 2021/1078

Reflection, Rewinding, and Coin-Toss in EasyCrypt

Authors: Denis Firsov, Dominique Unruh


In this paper we derive a suite of lemmas which allows users to internally reflect EasyCrypt programs into distributions which correspond to their denotational semantics (probabilistic reflection). Based on this we develop techniques for reasoning about rewinding of adversaries in EasyCrypt. (A widely used technique in cryptology.) We use our reflection and rewindability results to prove the security of a coin-toss protocol.

ePrint: https://eprint.iacr.org/2021/1078

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .