Verified multiple-time signature scheme from one-time signatures and timestamping
autor
Firsov, Denis
Lakk, Henri
Truu, Ahto
vastutusandmed
Denis Firsov, Henri Lakk, Ahto Truu
allikas
2021 IEEE 34th Computer Security Foundations Symposium (CSF) : June 21-25, 2021, Virtual Conference : proceedings
kirjastus/väljaandja
IEEE Computer Society
ilmumisaasta
2021
leheküljed
13 p
konverentsi nimetus, aeg
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 21-25 June 2021
konverentsi toimumispaik
Dubrovnik, Croatia
leitav
https://doi.org/10.1109/CSF51468.2021.00051
märksõna
digitaalallkiri
krüptograafia
võtmesõna
digital signatures
EasyCrypt
formalized cryptography
timestamping
ISSN
2374-8303
ISBN
978-1-7281-7607-9
märkused
Bibliogr.: 16 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium