Verified multiple-time signature scheme from one-time signatures and timestamping
author
Firsov, Denis
Lakk, Henri
Truu, Ahto
statement of authorship
Denis Firsov, Henri Lakk, Ahto Truu
source
2021 IEEE 34th Computer Security Foundations Symposium (CSF) : June 21-25, 2021, Virtual Conference : proceedings
publisher
IEEE Computer Society
year of publication
2021
pages
13 p
conference name, date
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 21-25 June 2021
conference location
Dubrovnik, Croatia
url
https://doi.org/10.1109/CSF51468.2021.00051
subject term
digitaalallkiri
krüptograafia
keyword
digital signatures
EasyCrypt
formalized cryptography
timestamping
ISSN
2374-8303
ISBN
978-1-7281-7607-9
notes
Bibliogr.: 16 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory