Mounira Kourjieh

According to our database, Mounira Kourjieh authored at least 7 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., November, 2023

2012

Automated Synthesis of a Finite Complexity Ordering for Saturation

Yannick Chevalier, Mounira Kourjieh

CoRR, 2012

2010

Towards Automatic Analysis of Election Verifiability Properties.

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

2009

On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)

Yannick Chevalier, Mounira Kourjieh

CoRR, 2009

2007

Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)

Yannick Chevalier, Mounira Kourjieh

CoRR, 2007

Key Substitution in the Symbolic Analysis of Cryptographic Protocols.

Yannick Chevalier, Mounira Kourjieh

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

A Symbolic Intruder Model for Hash-Collision Attacks.

Yannick Chevalier, Mounira Kourjieh

Proceedings of the Advances in Computer Science, 2006