Verified security of BLT signature scheme
autor
Firsov, Denis
Buldas, Ahto
Truu, Ahto
Laanoja, Risto
vastutusandmed
Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja
allikas
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
2020
leheküljed
p. 244-257
konverentsi nimetus, aeg
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, co-located with POPL 2020, 20-21 January 2020
konverentsi toimumispaik
New Orleans, USA
leitav
https://doi.org/10.1145/3372885.3373828
märksõna
digitaalallkiri
krüptograafia
küberturve
võtmesõna
digital signatures
EasyCrypt
formalized cryptography
timestamping
ISBN
978-145037097-4
märkused
Bibliogr.: 19 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Küberkriminalistika ja küberjulgeoleku keskus
Tugevalt tagatud tarkvara laboratoorium