Denis Firsov Ahto Buldas Ahto Truu Risto Laanoja Verified security of BLT signature scheme. 244-257 2020 CPP https://doi.org/10.1145/3372885.3373828 conf/cpp/2020 db/conf/cpp/cpp2020.html#FirsovBTL20