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
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
ISBN
978-145039182-5
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
Scopus
Scopus
klassifikaator
Uurimisrühm
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.