@misc{cryptoeprint:2020:028,
    author = {Denis Firsov and Ahto Buldas and Ahto Truu and Risto Laanoja},
    title = {Verified Security of BLT Signature Scheme},
    howpublished = {Cryptology ePrint Archive, Report 2020/028},
    year = {2020},
    url = {https://eprint.iacr.org/2020/028},
}