Skip Ribbon Commands
Skip to main content
Dr. Mujahid Mohsin
Associate Professor
Department of Avionics Engineering

National University of Sciences and Technology (NUST)
College of Aeronautical Engineering, PAF Academy, Risalpur
Tel :  
Email : mujahid dot mohsin at cae dot nust dot edu dot pk, mujahid dot mohsin at seecs dot edu dot pk, mmohsin at cern dot ch

Embedded System Security,  Internet of Things Security,  Formal Methods in Security

PhD in Computer and Communication Security, SEECS, NUST, 2017, MS (Information Security), MCS, NUST, 2010

Dr. Mujahid Mohsin is an associate professor of embedded system and information security at the department of Avionics engineering, College of Aeronautical Engineering (CAE) National University of Sciences& Technology (NUST) Pakistan. He completed his undergraduate studies from CAE Risalpur in 2001 in the specialty of Avionics engineering. He holds a Masters degree in Information Security and a PhD degree in Computer and Communication Security,both from National University of Sciences and Technology (NUST). His industrial experience spans over more than ten years, during which he worked on a diverse range of avionics, communication and electronic warfare equipment at Operational, Intermediate and Depot levels.

Major Achievements
  • President’s Gold Medal for MS in Information Security (CGPA 4.00).
  • PhD Course-work Completed with CGPA 4.00/4.00.
  • Twice recipient of Chief of the Air Staff Commendation Certificate.
  • Recipient of Rector’s NUST High Achiever Award (2015). 
  • Nominated for NUST Excellence Award (2017).
  • Visiting Research Scholar at University of North Carolina at Charlotte (UNCC), USA. (Jan-May, 2016).
  • Research collaborator with CERN, Fontbonne University, USA and Tennesse Tech. University, USA.
  • Earned distinction by securing 3rd position at International ICTP-NCP School on LHC (CERN) Physics (2014). 
  • Nominated by National Center of Physics, Pakistan for attending CERN summer school at Geneva, Switzerland (2015).
  • Recipient of PhD Scholarship from Higher Education Commission, Pakistan (2013-2017).
  • 2nd Position in All Pakistan English Essay Writing Competition (1993).
  • Secured 96% aggregate score in Specialized English Course at Defense Language Institute (DLI), Lackland AFB, San Antonio, TX, USA.
  • Passed Graduate Assessment Test with 91.5% accumulative score.

​​PhD Research Title: Formal Modeling for Automated Security Analytics of the internet of Things


Primary research interests includes:


·         IoT Design and Security

·         Embedded System Design (in collaboration with CERN, Switzerland)

·         Embedded System Security

·         Formal Methods in Security

·         Cryptography &Cryptanalysis

 I am looking to recruit some brilliant students (MS / PhD) with a strong research appetite, for working in the areas of common interests

 Publication Reviewer:

 Working or has worked (in the past) as a program committee member / publication reviewer for:

  • Frontiers of Computer Science (Springer Journal)
  • Journal of Bioengineering & Biomedical Science
  • International Conference on Information Society and Smart Cities (ISC, 2018)
  • 86th IEEE Vehicular Technology Conference (VTC, Fall 2017)
  • 15th International Bhurbun Conference on on Applied Sciences & Technology (IBCAST-2018)
  • 1st International Conference on Cyber Security & Digital Forensics (CSDiFo, 2017)

Journal Publications

1.   Mujahid Mohsin, Muhammad Usama Sardar, Osman Hasan, and Zahid Anwar, “IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things”, IEEE Access (IF=3.244), Vol. 5, No. 1, pp. 5494-5505, 2017, Special Section on “Security and Privacy in Applications and Services for Future Internet of Things”.

2.   Mujahid Mohsin, Zahid Anwar, Farhat Zaman, Ehab Al-Shaer, “IoTChecker : A Data-driven Framework for Security Analytics of Internet of Things Configurations”, Elsevier Journal of Computers and Security (IF=2.849), Vol 70, pp. 199-223, 2017.

3.   Mujahid Mohsin, Zahid Anwar, Farhat Zaman, “Towards a Generic Model for Risk Analysis of the Internet of Things (IoT)”, NUST Journal of Engineering Sciences (NJES), Vol 9, No 2, HEC approved X-Category Journal, Accepted in November, 2016 (in press),

Conference Publications


1.   Mujahid Mohsin, Zahid Anwar, GhaithHusari, Ehab Al-Shaer, Mh. AshiqurRehman, “IoTSAT: A Formal Framework for Security Analysis of the Internet of Things (IoT)”, IEEE Conference on Communications and Network Security (CNS),17-19 October, 2016, Philadelphia, PA, USA, pp. 180-188. (Acceptance Rate~29%).

2.   Mujahid Mohsin, Zahid Anwar, “Where to Kill the Cyber Kill-Chain: An
Ontology-Driven Framework for IoT Security Analytics
”, Frontiers of Information Technology (FIT), 19-21 December, 2016, Islamabad, Pakistan, pp. 23-28. (Acceptance Rate~21%).

3.   Mujahid Mohsin, Mehreen Afzal, Mh. ArifWahla, “Think before your LFSRs Jump”, at 10th IEEE International Conference on Computer and Information Technology (CIT 2010), Bradford, UK.

4.   Mujahid Mohsin, “Review and Analysis of Information-Theoretic Secure Threshold Secret Sharing Schemes”, at National Conference on Information Assurance (NCIA-2010), Rawalpindi, Pakistan.  

AV-312: Digital Systems-Microcontrollers and Microprocessors (CAE, NUST)

  • More than 10 years of industrial experience on a diverse range of avionics, communication and electronic warfare equipment at Operational, Intermediate and Depot levels.
  • Worked for about 01 year on a NUST-CERN collaboration project regarding development of Firmware for CMS Tracker.
  • Organized a 2-day International IoT Hands-on Workshop using Arduino (2017)
  • Organized an International Symposium on IoT at SEECS, NUST (2017)