CUFinder

Moosa Yahyazadeh

Moosa Yahyazadeh

University of Iowa

H-index: 8

North America-United States

Contact Moosa Yahyazadeh

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

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

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

Improving the resiliency of IoT systems

Policy assisted resilient programmable IoT system

Moosa Yahyazadeh Information

University

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

University Profile Page

Google Scholar

Moosa Yahyazadeh Skills & Research Interests

Computer Security & Privacy

Formal Verification

Top articles of Moosa Yahyazadeh

CRV: Automated Cyber-Resiliency Reasoning for System Design Models

CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023

2023/10/24

Daniel Larraz
Daniel Larraz

H-Index: 7

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Cesare Tinelli
Cesare Tinelli

H-Index: 27

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

2021/11/12

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Li Li
Li Li

H-Index: 15

Joyanta Debnath
Joyanta Debnath

H-Index: 0

Endadul Hoque
Endadul Hoque

H-Index: 10

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

Systems

2021/3/3

Daniel Larraz
Daniel Larraz

H-Index: 7

William Smith
William Smith

H-Index: 6

Saswata Paul
Saswata Paul

H-Index: 3

Daniel Prince
Daniel Prince

H-Index: 7

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Vidhya Tekken Valapil
Vidhya Tekken Valapil

H-Index: 4

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Improving the resiliency of IoT systems

2021

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Policy assisted resilient programmable IoT system

2020

Moosa Yahyazadeh
Moosa Yahyazadeh

H-Index: 4

Syed Rafiul Hussain
Syed Rafiul Hussain

H-Index: 11

Endadul Hoque
Endadul Hoque

H-Index: 10

See List of Professors in Moosa Yahyazadeh University(University of Iowa)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine