ProfessorsProfessors of University of IowaMoosa Yahyazadeh

Moosa Yahyazadeh

University of Iowa

H-index: 8

North America-United States

About Moosa Yahyazadeh

Moosa Yahyazadeh, With an exceptional h-index of 8 and a recent h-index of 6 (since 2020), a distinguished researcher at University of Iowa, specializes in the field of Computer Security & Privacy, Formal Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

CRV: Automated Cyber-Resiliency Reasoning for System Design Models

Verdict: a language and framework for engineering cyber resilient and safe system

Improving the resiliency of IoT systems

Morpheus: Bringing The (PKCS) One To Meet the Oracle

Policy assisted resilient programmable IoT system

Moosa Yahyazadeh Information

University	University of Iowa
Position	___
Citations(all)	148
Citations(since 2020)	122
Cited By	56
hIndex(all)	8
hIndex(since 2020)	6
i10Index(all)	7
i10Index(since 2020)	6
Email	Access Email
University Profile Page	University of Iowa
Google Scholar	View Google Scholar Profile

Moosa Yahyazadeh Skills & Research Interests

Computer Security & Privacy

Formal Verification

Top articles of Moosa Yahyazadeh

Title	Journal	Author(s)	Publication Date
CRV: Automated Cyber-Resiliency Reasoning for System Design Models	CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023	Daniel Larraz Robert Lorch Moosa Yahyazadeh M Fareed Arif Omar Chowdhury ...	2023/10/24
Verdict: a language and framework for engineering cyber resilient and safe system	Systems	Baoluo Meng Daniel Larraz Kit Siu Abha Moitra John Interrante ...	2021/3/3
Improving the resiliency of IoT systems		Moosa Yahyazadeh	2021
Morpheus: Bringing The (PKCS) One To Meet the Oracle		Moosa Yahyazadeh Sze Yiu Chau Li Li Man Hong Hue Joyanta Debnath ...	2021/11/12
Policy assisted resilient programmable IoT system		Moosa Yahyazadeh Syed Rafiul Hussain Endadul Hoque Omar Chowdhury	2020