PhD Student, Computer Science, Research Assistant

A little about me

I am a Ph.D. student at UIowa CS department, working with Prof. Omar Chowdhury on computer security-related problems in which we apply formal methods and automatic reasoning techniques to achieve provable security and privacy assurances of software/hardware systems and protocols. I am also part of Computer Logic Center (CLC) led by Prof. Omar Chowdhury, Prof. Cesare Tinelli, and Prof. Aaron Stump. Prior joining UIowa, I received my master’s degree in computer engineering from Tarbiat Modares University, graduating summa cum laude.

Research Interest

Computer Security


Formal Verification

My research has focused on various computer security-related problems in which I apply formal methods and automatic reasoning techniques to (i) build a system with provable security and privacy assurances; (ii) find semantic bugs in the system, exploitable by a malicious entity, which might lie dormant for years and yet hard to detect.




  • BotGrab: A Negative Reputation-based System for Botnet Detection
    Moosa Yahyazadeh; Mahdi Abadi
    Computers & Electrical Engineering, Elsevier B.V., 2014 (Link)

  • BotOnus: An online unsupervised method for botnet detection
    Moosa Yahyazadeh; Mahdi Abadi
    The ISC International Journal of Information Security (ISeCure), vol. 4, no 1, pp. 51-62, 2012. (PDF)

Services/Professional Activities

What's New?

  • New paper

    Our new paper titled "Analyzing Semantic Correctness using Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification" has been accepted at The Network and Distributed System Security Symposium (NDSS) 2019.

    Security conference ranking

    If you are looking for a ranking of Computer Security and Privacy conferences, I found this useful resource here on Prof. Guofei Gu's homepage.

Contact me:


1420 Seamans Center, The University of Iowa