2 papers
cs.CR2007
Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)
Yannick Chevalier, Mounira Kourjieh
Key substitution vulnerable signature schemes are signature schemes that permit an intruder, given a public verification key and a signed message, to compute a pair of signature an…
cs.CR2006
A Symbolic Intruder Model for Hash-Collision Attacks
Yannick Chevalier, Mounira Kourjieh
In the recent years, several practical methods have been published to compute collisions on some commonly used hash functions. In this paper we present a method to take into accoun…