Zero-knowledge in EasyCrypt
autor
Firsov, Denis
Unruh, Dominique
vastutusandmed
Denis Firsov, Dominique Unruh
allikas
2023 IEEE 36th Computer Security Foundations Symposium : CSF 2023 : proceedings
ilmumiskoht
Piscataway
kirjastus/väljaandja
IEEE
ilmumisaasta
2023
leheküljed
16 p.
seeria-sari
Proceedings - IEEE Computer Security Foundations Symposium ; Vol. 2023-July
konverentsi nimetus, aeg
36th Computer Security Foundations Symposium (CSF), July 9-13, 2023
konverentsi toimumispaik
Dubrovnik, Croatia
leitav
https://doi.org/10.1109/CSF57540.2023.00015
märksõna
krüptograafia
formaalsed meetodid (informaatika)
kodeerimine
võtmesõna
cryptography
EasyCrypt
formal methods
rewinding
sigma protocols
zero-knowledge
ISSN
1940-1434
ISBN
979-835032192-0
märkused
Bibliogr.: 22 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise