Atta Ur Rahman, Riphah Institute of Systems Engineering, Riphah International University, Islamabad, 46000, Pakistan, Pakistan

• The Nucleus Vol. 61 No. 2 (2024) - Articles
  Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey
  Abstract  PDF