Reflection, rewinding, and coin-toss in EasyCrypt
author
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
year of publication
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
ISBN
978-145039182-5
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
Scopus
Scopus
classifier
Reserch Group
Firsov, D., Unruh, D. Reflection, rewinding, and coin-toss in EasyCrypt // CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. New York : ACM, 2022. p. 166-179.