Reflection, rewinding, and coin-toss in EasyCrypt

autor
Unruh, Dominique
vastutusandmed
Firsov, Denis, Ubruh, Dominique
allikas
CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
leheküljed
p. 166-179
konverentsi nimetus, aeg
11th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2022 - co-located with POPL 2022, 17.-18. January, 2022
konverentsi toimumispaik
Philadelphia, USA
Scopus
Scopus
võtmesõna
binding
coin-toss
rewindability
ISBN
978-145039182-5
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
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. https://doi.org/10.1145/3497775.3503693