full record print

Verified security of BLT signature scheme

author
statement of authorship
Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja
source
location of publication
New York
publisher
ACM
year of publication
pages
p. 244-257
conference name, date
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, co-located with POPL 2020, 20-21 January 2020
conference location
New Orleans, USA
url
ISBN
978-145037097-4
notes
Bibliogr.: 19 ref
TTÜ department
language
inglise
Reserch Group
Centre for digital forensics and cyber security
High-assurance software laboratory
Firsov, D., Buldas, A., Truu, A., Laanoja, R. Verified security of BLT signature scheme // 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. New York : ACM, 2020. p. 244-257. https://doi.org/10.1145/3372885.3373828