Login / Signup
Jonathan Kok-Keong Loo
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Verification
Session Key
Model Checker
Lightweight
Top Venues
Int. J. Secur. Networks
</>
Publications
</>
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)