Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.

Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse

Browse the full CCS paper archive.