Mohamed Mejri

Identifiers

• name variant Mohamed Mejri 0.60 · backfill

Papers (5)

1. Authentication by Witness Functions cs.CR · 2019 · author #2
2. Relaxed Conditions for Secrecy in a Role-Based Specification cs.CR · 2018 · author #2
3. Secrecy by Witness-Functions on Increasing Protocols cs.CR · 2018 · author #2
4. Secrecy by Witness-Functions under Equational Theories cs.CR · 2018 · author #2
5. A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols cs.CR · 2014 · author #2

Mentions

• 1408.2774 #2 · backfill · confidence 0.70 Mohamed Mejri

Frequent Coauthors

• Jaouhar Fattahi 5 shared papers
• Hanane Houmani 3 shared papers
• Emil Pricop 1 shared papers