Verified Security of BLT Signature Scheme

POPL 2020