A Symbolic Intruder Model for Hash-Collision Attacks. - Yannick Chevalier; Mounira Kourjieh (ASIAN, 2006)

Key Substitution in the Symbolic Analysis of Cryptographic Protocols. - Yannick Chevalier; Mounira Kourjieh (FSTTCS, 2007)

Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) - Yannick Chevalier; Mounira Kourjieh (CoRR, 2007)

On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) - Yannick Chevalier; Mounira Kourjieh (CoRR, 2009)

Towards Automatic Analysis of Election Verifiability Properties. - Ben Smyth; Mark Ryan 001; Steve Kremer; Mounira Kourjieh (ARSPA-WITS, 2010)

Automated Synthesis of a Finite Complexity Ordering for Saturation - Yannick Chevalier; Mounira Kourjieh (CoRR, 2012)

An IT projects' conceptual model to facilitate upstream decision-making: project management method selection. - Amir Sakka; Mounira Kourjieh; Ines Ben Kraiem (Int. Trans. Oper. Res., 2023)