Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art. - Alvi Jawad; Jason Jaskolka (ANNSIM, 2021)

A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. - Jason Jaskolka; Alvi Jawad; Joe Samuel; Brahim Hamid (EuroPLoP, 2021)

Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata. - Alvi Jawad; Jason Jaskolka (QRS, 2021)

Defense Models for Data Recovery in Industrial Control Systems. - Alvi Jawad; Jason Jaskolka (FPS, 2022)

A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets. - Alvi Jawad; Luke Newton; Ashraf Matrawy; Jason Jaskolka (ICC, 2022)

Single and Combined Cyberattack Impact on Industrial Wastewater Systems. - Alvi Jawad; Jason Jaskolka (DSA, 2023)

Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism. - Alvi Jawad; Cristina Ruiz Martin; Gabriel A. Wainer (WSC, 2023)

A Survey of the Security Challenges and Requirements for IoT Operating Systems. - Alvi Jawad (CoRR, 2023)

Interplay of Attacker Behaviors and Dependability Attributes in Industrial Control System Impact Analysis. - Alvi Jawad; Jason Jaskolka (DSA, 2024)

"I'm Getting Information that I Can Act on Now": Exploring the Level of Actionable Information in Tool-generated Threat Reports. - Alvi Jawad; Hala Assal; Jason Jaskolka (EuroUSEC, 2024)

Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS. - Alvi Jawad; Zoe Arnott; Jason Jaskolka (QRS, 2024)

strideSEA: A STRIDE-centric Security Evaluation Approach. - Alvi Jawad; Jason Jaskolka; Ashraf Matrawy; Mohamed Ibnkahla (CoRR, 2025)