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

Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse. Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptology ePrint Archive, 2019:779, 2019. [doi]

Abstract

Abstract is missing.