Skip to content

Reflection, rewinding, and coin-toss in EasyCrypt.

Denis Firsov, Dominique Unruh

VenueBCPP
Year2022
ProceedingsCPP

Browse the full CPP paper archive.