Ed Kamya Kiyemba Edris

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Coloured Petri Nets

Network Services

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

Publications

Ed Kamya Kiyemba Edris, Mahdi Aiash, Mohammad Ali Khoshkholghi, Ranesh Naha, Abdullahi Chowdhury, Jonathan Loo
Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain. Internet Things 24 (2023)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo
An Introduction of a Modular Framework for Securing 5G Networks and Beyond. Network 2 (3) (2022)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo
Formalization and evaluation of EAP-AKA' protocol for 5G network access security. Array 16 (2022)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo
DCSS Protocol for Data Caching and Sharing Security in a 5G Network. Network 1 (2) (2021)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keong Loo, Mohammad Shadi Al Hakeem
Formal verification of secondary authentication protocol for 5G secondary authentication. Int. J. Secur. Networks 16 (4) (2021)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keng Loo
The Case for Federated Identity Management in 5G Communications. FMEC (2020)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keng Loo
Network Service Federated Identity (NS- FId) Protocol for Service Authorization in 5G Network. FMEC (2020)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Kok-Keng Loo
Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol. SDS (2020)
Ed Kamya Kiyemba Edris, Mahdi Aiash, Jonathan Loo
Investigating Network Services Abstraction in 5G Enabled Device-to-Device (D2D) Communications. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2019)
Ed Kamya Kiyemba Edris, Mahdi Aiash
ZKPVM: A Zero-knowledge Authentication Protocol for VMs' Live Migration in Mobile Cloud Computing. ICSOFT (2018)