Search Results - Kourjieh, Mounira

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    An IT projects’ conceptual model to facilitate upstream decision‐making: project management method selection

    An IT projects’ conceptual model to facilitate upstream decision‐making: project management method selection by Sakka, Amir, Kourjieh, Mounira, Kraiem, Ines Ben

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Automated Synthesis of a Finite Complexity Ordering for Saturation

    Automated Synthesis of a Finite Complexity Ordering for Saturation by Chevalier, Yannick, Kourjieh, Mounira

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)

    On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) by Chevalier, Yannick, Kourjieh Mounira

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version)

    Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) by Chevalier, Yannick, Kourjieh, Mounira

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    A Symbolic Intruder Model for Hash-Collision Attacks

    A Symbolic Intruder Model for Hash-Collision Attacks by Chevalier, Yannick, Kourjieh, Mounira

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: