Reflection, rewinding, and coin-toss in EasyCrypt
autor
Firsov, Denis
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
Association for Computing Machinery, Inc
ilmumisaasta
2022
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
leitav
https://doi.org/10.1145/3497775.3503693
märksõna
sidumine (informaatika)
peegeldumine
krüptograafia
formaalsed meetodid (informaatika)
peegeldumine
Scopus
Scopus
võtmesõna
binding
coin-toss
commitments
EasyCrypt
formal methods
reflection
rewindability
ISBN
978-145039182-5
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium