@misc{cryptoeprint:2019:779,
    author = {Dennis Jackson and Cas Cremers and Katriel Cohn-Gordon and Ralf Sasse},
    title = {Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures},
    howpublished = {Cryptology ePrint Archive, Report 2019/779},
    year = {2019},
    url = {https://eprint.iacr.org/2019/779},
}