'Seems Legit' - ACM CCS 2019 Talk
Channel: Dennis Jackson
Date: 2021-03-13

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

Presented by Dennis Jackson

Co-authors: C. Cremers, K. Cohn-Gordon, and R. Sasse.

ACM Conference on Computer and Communications Security, CCS 2019. 

PDF and other materials: www.dennis-jackson.uk/publications