4
Publications
94
Citations
4
H-Index
2017
Active since
Qusai Ramadan is an author at Universität Koblenz specializing in engineering, data security, and formal verification.
Top concepts
SecurityEngineeringData SecurityComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationInformation SecurityPrivacyCryptography
Publications per year
2017–2023
4
4
Model-based privacy and security analysis with CARiSMA
Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan et al. · 2017 · 28 citations
From Secure Business Process Modeling to Design-Level Security Verification
Qusai Ramadan, Mattia Salnitriy, Daniel Strüber et al. · 2017 · 16 citations · Full text
Rows per page
1–4 of 4