tumblr hit counter
Name Mujahid Mohsin
Qualification Ph.D. Scholar (Information Security) SEECS, NUST, Islamabad, Pakistan
MS (Information Security) MCS, NUST, Rawalpindi, Pakistan
BE (Avionics Engineering) CAE, NUST, Risalpur, Pakistan
Research Interest Internet of Things, Security analytics, Formal modeling towards security, Ontology engineering, Cyber Threat Intelligence (CTI), Cryptology
Email mujahid.mohsin@seecs.edu.pk
  Dr. Zahid Anwar
  Academic Achievements
  • President's Gold Medal for MS (Info Sec) - CGPA 4.00/4.00.
  • PhD Course-work Completed with CGPA 4.00/4.00.
  • Visiting Research Scholar at University of North Carolina at Charlotte (UNCC), USA. (Jan-May, 2016).
  • Research collaborator with CERN; UNCC, USA; TenTech University, USA; St. Louis University, USA.
  • NUST High Achiever Award (2015).
  • HEC Indigenous Scholarship for PhD (2013-2017).
  • 2nd Position in All Pakistan English Essay Writing Competition (1993).
  • IoT Programming \ Evaluation: Participated in evaluation of SimpleIoTSimulator by SimpleSoft. Conducted extensive reviews and analyses of IoT security protocols, frameworks and real-world devices.
  • Hardware Programing: Hands-on experience on Arduino Boards, FPGAs, PSOCs and Embedded Wifi Modules (ESP8266),
  • Security Analysis: Experienced in using Wireshark, NMap, Nessus, Cain and Abel, NSim, NS2 and others.
  • Cyber Threat Intelligence: Basic understanding and hands-on experience of using CAPEC, STIX, CybOX, MAEC, TAXII, Cyber Intelligence Framework (CIF), Pyramid of Pain (PoP).
  • Formal Methods: SAT/SMT solvers (MiniSAT, Z3); Ontology eningeering and deductive reasoning (Protege, SWRL, SQWRL, Jena), Logic programming (Prolog), Probabilistics Model Checking (PRISM)
      Journal Publications
    • 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 (Impact Factor= 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" Link
    • Mujahid Mohsin, Zahid Anwar, Farhat Zaman and 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 Link
    • Mujahid Mohsin, Zahid Anwar and 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). Link
      Conference Publications
    • Mujahid Mohsin, Zahid Anwar, Ghaith Husari, Ehab Al-Shaer and Mh. Ashiqur Rehman.“ 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%). Link
    • Mujahid Mohsin and Zahid Anwar.“ Where to Kill the Cyber Kill-Chain: An Ontology-Driven Framework for IoT Security Analytics”. 14th  International Conference on Frontiers of Information Technology (FIT), 19-21 December, 2016, Islamabad, Pakistan, pp. 23-28. (Acceptance Rate~21%). Link
    • Mujahid Mohsin, Mehreen Afzal and M. Arif Wahla.“ Think Before your LFSRs Jump ”. 10th IEEE International Conference on Computer and Information Technology (CIT), Bradford, UK, pp.1070-1074, 2010. Link
    • Mujahid Mohsin. “ Review and Analysis of Information-Theoretic Secure Threshold Secret Sharing Schemes”. National Conference on Information Assurance (NCIA-2010), Rawalpindi, Pakistan, 201