Recent PhD, Masters and UG Students
I have a continuous privilege of supervising a number of PhD, Masters and UG students.
PhD Students
Ongoing
- L M Akhter, Model-based Software Security, UOG
- M Naz, Metamorphic Testing for Privacy Protection in Internet-based Messaging Applications, UOG
- T Olajobi, Explainable Protection of Conversational AI applications against Security and Privacy Threats, UOG
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
- 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