Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Jawad Mohammed

Jawad Mohammed

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Crypto×1AI×1

Frequent co-authors

Gahangir Hossain1×

Research Timeline

2026
Analyzing Healthcare Interoperability Vulnerabilities: Formal Modeling and Graph-Theoretic Approach

This paper introduces the FHIR Resource Access Graph (FRAG) to formally model and detect concurrency-related race conditions—such as Simultaneous Write Conflict and TOCTOU Authorization Violation—in healthcare interoperability systems.

Highlighted terms show continued research focus across papers

Papers

cs.CRcs.AIRecentApr 3, 2026

Analyzing Healthcare Interoperability Vulnerabilities: Formal Modeling and Graph-Theoretic Approach

Jawad Mohammed, Gahangir Hossain

This paper introduces the FHIR Resource Access Graph (FRAG) to formally model and detect concurrency-related race conditions—such as Simultaneous Write Conflict and TOCTOU Authorization Violation—in h…

View →