Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja: Verified security of BLT signature scheme. CPP 2020: 244-257