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)
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.
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.