Zero-knowledge in EasyCrypt
author
Firsov, Denis
Unruh, Dominique
statement of authorship
Denis Firsov, Dominique Unruh
source
2023 IEEE 36th Computer Security Foundations Symposium : CSF 2023 : proceedings
location of publication
Piscataway
publisher
IEEE
year of publication
2023
pages
16 p.
series
Proceedings - IEEE Computer Security Foundations Symposium ; Vol. 2023-July
conference name, date
36th Computer Security Foundations Symposium (CSF), July 9-13, 2023
conference location
Dubrovnik, Croatia
url
https://doi.org/10.1109/CSF57540.2023.00015
subject term
krüptograafia
formaalsed meetodid (informaatika)
kodeerimine
keyword
cryptography
EasyCrypt
formal methods
rewinding
sigma protocols
zero-knowledge
ISSN
1940-1434
ISBN
979-835032192-0
notes
Bibliogr.: 22 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise