( en | de | ru )

 

Disambiguation of "Mejri, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method.

, and . J. Comput. Networks Commun., (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Iris Mejri

Asma Mejri

Mohamed Mohamed

Mohamed Mohamed Halawa

Mohamed Mohamed Gibry

 

Other publications of authors with the same name

Towards Understanding the Role of Execution Context for Observing Malicious Behavior in Android Malware., , , , and . ICETE (Selected Papers), volume 764 of Communications in Computer and Information Science, page 48-71. Springer, (2016)Enforcing Security Policies on Programs., , and . SoMeT, volume 147 of Frontiers in Artificial Intelligence and Applications, page 195-207. IOS Press, (2006)FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach., , and . CISDA, page 1-8. IEEE, (2012)Secrecy of cryptographic protocols under equational theory., , and . Knowl. Based Syst., 22 (3): 160-173 (2009)Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy., and . SECRYPT, page 184-189. INSTICC Press, (2008)A rewriting system for the assessment of XACML policies relationship., , , and . Comput. Secur., (2020)Low Power Neural Network Accelerators Using Collaborative Weight Tuning and Shared Shift-Add optimization., , , and . MWSCAS, page 1-4. IEEE, (2022)Secrecy by witness-functions under equational theories., and . ECAI, IEEE, (2015)Information security risk assessment based on decomposition probability via Bayesian Network., and . ISNCC, page 1-8. IEEE, (2020)An Explainable Artificial Intelligence Approach for a Trustworthy Spam Detection., , and . CSR, page 160-167. IEEE, (2023)