Recent PhD, Masters and UG Students
I have a continuous privilege of supervising numerous PhD, Master's, and UG students.
PhD Students
Ongoing
- L M Akhter, Model-based Software Security, UOG (2022 -- 2025)
- M Naz, Privacy Analysis of Internet-based Messaging Applications, UOG (2023 -- 2026)
- T Olajobi, Explainable Protection of Conversational AI applications against Security and Privacy Threats, UOG (2023 --)
Prospective
- A R Malik, Automatic Refinement for Energy Efficiency in Programs, UOG
Finished
- Giovanni Liva, Formal Analysis & Verification of Timed Programs, Universität Klagenfurt, Austria, November 2019
PhD Committee Memberships / Reviewer
- Saleh Mohamed Al Hidaifi, Quantifying Cyber Resilience: Developing a Framework and Probabilistic Estimation Model for IT Infrastructure, University of Glasgow, United Kingdom, April 2024
- Anum Khurshid, Towards Trustworthy and Secure Internet of Things Devices: Using hardware-assisted Trusted Execution and Automated Certification, Uppsala University, Sweden, December 2022
Masters Students
Ongoing
Finished
UG Students
Ongoing
Finished