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.
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.
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification
Sze Yiu Chau;
Moosa Yahyazadeh;
Omar Chowdhury;
Aniket Kate;
Ninghui Li
The Network and Distributed System Security Symposium (NDSS) 2019 (PDF)
PHASER – A Phase-Shifting Antenna for Low-Power Directional Communication
Leo Selavo;
Dhruv Vyas;
Moosa Yahyazadeh;
Octov Chipara
13th International Conference on Distributed Computing in Sensor Systems (DCOSS) 2017 (PDF)
BotCatch: Botnet Detection Based on Coordinated Group Activities of Compromised Hosts
Moosa Yahyazadeh;
Mahdi Abadi
The 7th International Symposium on Telecommunications 2014 (PDF)
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)
Institute of Electrical and Electronics Engineers (IEEE) member.
UIowa Computational Logic Center (CLC) member.
