Verified security of BLT signature scheme
Denis Firsov, Ahto Buldas, Ahto Truu, Risto Laanoja · 2020
The majority of real-world applications of digital signatures use timestamping to ensure non-repudiation in face of possible key revocations. This observation led Buldas, Laanoja, and Truu to a server-assisted digital signature scheme built around cryptographic timestamping.