Reflection, rewinding, and coin-toss in EasyCrypt
author
Firsov, Denis
Unruh, Dominique
statement of authorship
Firsov, Denis, Ubruh, Dominique
source
CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022
location of publication
New York
publisher
ACM
year of publication
2022
pages
p. 166-179
conference name, date
11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022, 17.-18. January, 2022
conference location
Philadelphia, USA
url
https://doi.org/10.1145/3497775.3503693
subject term
sidumine (informaatika)
peegeldumine
krüptograafia
formaalsed meetodid (informaatika)
peegeldumine
Scopus
Scopus
keyword
binding
coin-toss
commitments
EasyCrypt
formal methods
reflection
rewindability
ISBN
978-145039182-5
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory