Ali Hamza Malik
Formal Verification | Security | Quantum Networks
PhD student at University of Massachusetts Amherst working on quantum computers and quantum systems, focusing on security aspects. Researching formal analysis of quantum protocols to uncover security vulnerabilities and develop automated verification techniques.
ALI
About Me
Hi, I am PhD student @ University of Massachusetts Amherst. I work on quantum computers and quantum systems, focusing on security aspect with Dr. Muhammad Taqi Raza in Khwarizmi Lab.
Before joining UMass, I completed my Bachelor’s in Electrical Engineering (BSEE) from National University of Sciences and Technology (NUST), Pakistan in 2023.
I am engaged in the examination of quantum protocols pertaining to network communication, focusing on conducting formal analyses to uncover security vulnerabilities. My research endeavors lay the groundwork for devising efficient techniques to automate protocol analysis, ensuring the security guarantees provided by these protocols.
Research Interests
Formal Verification | Security | Quantum Networks
Symbolic execution, model checking (TLA+, nuXMV, STORM), and theorem proving (Coq, Lean)
Verification of cryptographic protocols, quantum key distribution, and banking system security
Fine-tuning (SFT, DPO, RLHF), RAG, Agentic AI, and specification-aware approaches