Mounira Kourjieh

	2009
5		Yannick Chevalier, Mounira Kourjieh: On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) CoRR abs/0906.1199: (2009)
	2007
4		Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols. FSTTCS 2007: 121-132
3		Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) CoRR abs/0710.5674: (2007)
	2006
2		Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks. ASIAN 2006: 13-27
1		Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks CoRR abs/cs/0611142: (2006)

Coauthor Index

1

Yannick Chevalier

[1] [2] [3] [4] [5]