TalTech publikatsioonid
pealdis Firsov, D., Buldas, A., Truu, A., Laanoja, R.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood us
keel inglise
autor Firsov, Denis
Buldas, Ahto
Truu, Ahto
Laanoja, Risto
pealkiri Verified security of BLT signature scheme
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 Association for Computing Machinery
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
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
url https://doi.org/10.1145/3372885.3373828