compact view print

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
Firsov, D., Unruh, D. Zero-knowledge in EasyCrypt // 2023 IEEE 36th Computer Security Foundations Symposium : CSF 2023 : proceedings. Piscataway : IEEE, 2023. 16 p.. (Proceedings - IEEE Computer Security Foundations Symposium ; Vol. 2023-July). https://doi.org/10.1109/CSF57540.2023.00015