Le prochain exposé du séminaire SSL aura lieu jeudi 28 novembre à 13h30, salle A008. L'orateur sera Ralf Sasse, de l'ETH Zurich.   Title: Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures (joint work with Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon)   Abstract: The standard definition of security for digital signatures --- existential unforgeability --- does not ensure certain properties that protocol designers might expect. For example, in many modern signature schemes, one signature may verify…