Reflection, rewinding, and coin-toss in EasyCrypt.

Denis Firsov Dominique Unruh

Published in: CPP (2022)

Keyphrases

image processing
data mining
machine learning
information retrieval
information systems
decision making
high quality
viewpoint