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)
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory