( en | de | ru )

 

Disambiguation of "Mejri, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Secrecy by Witness-Functions on Increasing Protocols.

, , and . CoRR, (2018)

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

Enforcing Security Policies on Programs., , and . SoMeT, volume 147 of Frontiers in Artificial Intelligence and Applications, page 195-207. IOS Press, (2006)Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy., and . SECRYPT, page 184-189. INSTICC Press, (2008)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)A rewriting system for the assessment of XACML policies relationship., , , and . Comput. Secur., (2020)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)An Explainable Artificial Intelligence Approach for a Trustworthy Spam Detection., , and . CSR, page 160-167. IEEE, (2023)Secrecy by witness-functions under equational theories., and . ECAI, IEEE, (2015)Low Power Neural Network Accelerators Using Collaborative Weight Tuning and Shared Shift-Add optimization., , , and . MWSCAS, page 1-4. IEEE, (2022)Information security risk assessment based on decomposition probability via Bayesian Network., and . ISNCC, page 1-8. IEEE, (2020)