Moosa Yahyazadeh

Cited by

	All	Since 2020
Citations	188	152
h-index	8	7
i10-index	8	5

20132014201520162017201820192020202120222023202420253 1 4 4 6 9 7 15 38 32 30 36 1

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Omar Haider ChowdhuryAssociate Professor of CS at Stony Brook UniversityVerified email at cs.stonybrook.edu
Endadul HoqueSyracuse UniversityVerified email at syr.edu
Mahdi AbadiTarbiat Modares UniversityVerified email at modares.ac.ir
M. Fareed ArifUniversity of OxfordVerified email at cs.ox.ac.uk
Daniel LarrazUniversity of IowaVerified email at uiowa.edu
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
John InterranteComputer Scientist, GE Global ResearchVerified email at research.ge.com
Abha MoitraGE Global ResearchVerified email at ge.com
Michael DurlingGeneral Electric ResearchVerified email at ge.com
Baoluo MengGE Aerospace ResearchVerified email at ge.com
Sze Yiu ChauThe Chinese University of Hong KongVerified email at ie.cuhk.edu.hk
Proyash PodderAssistant Professor, Computer Science. Muhlenberg CollegeVerified email at fiu.edu
Meng LiCertiKVerified email at certik.org
Aniket KatePurdue University / Supra ResearchVerified email at purdue.edu
Ninghui LiProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Dhruv VyasData Scientist, UFG InsuranceVerified email at uiowa.edu
Octav ChiparaProfessor at University of IowaVerified email at uiowa.edu
Leo SelavoUniversity of LatviaVerified email at lu.lv
Daniel PrinceLancaster UniversityVerified email at lancaster.ac.uk

Moosa Yahyazadeh

University of Iowa

Verified email at uiowa.edu - Homepage

Computer Security & Privacy Formal Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Expectation-based policy analysis and enforcement for appified smart-home platforms M Yahyazadeh, P Podder, E Hoque, O Chowdhury Proceedings of the 24th ACM symposium on access control models and …, 2019	47	2019
Verdict: a language and framework for engineering cyber resilient and safe system B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ... Systems 9 (1), 18, 2021	23	2021
BotGrab: A negative reputation system for botnet detection M Yahyazadeh, M Abadi Computers & Electrical Engineering 41, 68-85, 2015	22	2015
Architectural and behavioral analysis for cyber security K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019	21	2019
BotOnus: An Online Unsupervised Method for Botnet Detection M Yahyazadeh, M Abadi ISeCure 4 (1), 2012	21	2012
Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification SY Chau, M Yahyazadeh, O Chowdhury, A Kate, N Li The Network and Distributed System Security Symposium (NDSS), 2019	19	2019
Policy assisted resilient programmable IoT system M Yahyazadeh, SR Hussain, E Hoque, O Chowdhury Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020	15	2020
BotCatch: Botnet detection based on coordinated group activities of compromised hosts M Yahyazadeh, M Abadi 7'th International Symposium on Telecommunications (IST'2014), 941-945, 2014	10	2014
Morpheus: Bringing the (pkcs) one to meet the oracle M Yahyazadeh, SY Chau, L Li, MH Hue, J Debnath, SC Ip, CN Li, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021	5	2021
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. D Larraz, R Lorch, M Yahyazadeh, MF Arif, O Chowdhury, C Tinelli FMCAD, 209-220, 2023	2	2023
PHASER–A Phase-Shifting Antenna for Low-Power Directional Communication L Selavo, D Vyas, M Yahyazadeh, O Chipara 2017 13th International Conference on Distributed Computing in Sensor …, 2017	2	2017
Improving the resiliency of IoT systems M Yahyazadeh The University of Iowa, 2021	1	2021

The system can't perform the operation now. Try again later.

Articles 1–12

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors