Mohamed Mejri, Ph.D.

Affiliations: 
2001 Universite Laval (Canada) 
Area:
Computer Science
Google:
"Mohamed Mejri"

Parents

Sign in to add mentor
Mourad Debbabi grad student 2001 Universite Laval (Canada)
 (From type theory to the verification of security protocols.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Fattahi J, Mejri M, Pricop E. (2016) Tracking Security Flaws in Cryptographic Protocols Using Witness-Functions Proceedings - 2015 Ieee International Conference On Systems, Man, and Cybernetics, Smc 2015. 1189-1196
Mejri MN, Achir N, Hamdi M. (2016) A new group Diffie-Hellman key generation proposal for secure VANET communications 2016 13th Ieee Annual Consumer Communications and Networking Conference, Ccnc 2016. 992-995
Mejri MN, Achir N, Hamdi M. (2016) A new security games based reaction algorithm against DOS attacks in VANETs 2016 13th Ieee Annual Consumer Communications and Networking Conference, Ccnc 2016. 837-840
Boumlik L, Mejri M. (2016) Toward the formalization of BPEL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9586: 157-167
Sheikhalishahi M, Mejri M, Tawbi N. (2016) On the abstraction of a categorical clustering algorithm Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9729: 659-675
Sui G, Mejri M. (2016) Security enforcement by rewriting: An algebraic approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9482: 311-321
Sheikhalishahi M, Saracino A, Mejri M, et al. (2016) Fast and effective clustering of spam emails based on structural similarity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9482: 195-211
Mejri MN, Hamdi M. (2015) Recent advances in cryptographic solutions for vehicular networks 2015 International Symposium On Networks, Computers and Communications, Isncc 2015
Fattahi J, Mejri M. (2015) Secrecy by witness-functions under equational theories Proceedings of the 2015 7th International Conference On Electronics, Computers and Artificial Intelligence, Ecai 2015
Fattahi J, Mejri M, Houmani H. (2015) Secrecy by witness-functions on increasing protocols Proceedings of the 2014 6th International Conference On Electronics, Computers and Artificial Intelligence, Ecai 2014. 1-6
See more...