Verified security of BLT signature scheme
statement of authorship
Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja
location of publication
New York
publisher
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
subject term
ISBN
978-145037097-4
notes
Bibliogr.: 19 ref
TTÜ department
language
inglise
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 : Association for Computing Machinery, 2020. p. 244-257.