Edris, E.K.K., Aiash, M., Khoshkholghi, M.A., Naha, R., Chowdhury, A. and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2023) Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain. Internet of Things, 24. pp. 1-20. ISSN 2542-6605
Edris, E.K.K., Aiash, M. and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2021) DCSS protocol for data caching and sharing security in a 5G network. Network, 1 (2). pp. 75-94.
Edris, E.K.K., M., Aiash and Jonathan, Loo ORCID: https://orcid.org/0000-0002-2197-8126 (2021) Formal verification of authentication and service authorization protocols in 5G-enabled device-to-device communications using ProVerif. Electronics, 10 (13).