Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata A Jawad, J Jaskolka 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 11 | 2021 |
A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets A Jawad, L Newton, A Matrawy, J Jaskolka ICC 2022-IEEE International Conference on Communications, 2206-2211, 2022 | 5 | 2022 |
Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art A Jawad, J Jaskolka 2021 Annual Modeling and Simulation Conference (ANNSIM), 1-12, 2021 | 5 | 2021 |
A security property decomposition argument pattern for structured assurance case models J Jaskolka, A Jawad, J Samuel, B Hamid Proceedings of the 26th European Conference on Pattern Languages of Programs …, 2021 | 2 | 2021 |
Defense Models for Data Recovery in Industrial Control Systems A Jawad, J Jaskolka International Symposium on Foundations and Practice of Security, 271-286, 2022 | 1 | 2022 |
A Cyberattack Impact Analysis Approach for Industrial Control Systems A Jawad Carleton University, 2022 | 1 | 2022 |
Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism A Jawad, CR Martin, G Wainer 2023 Winter Simulation Conference (WSC), 209-220, 2023 | | 2023 |
Decrypting Ransomware: Analyzing and Addressing the Threat in the Canadian Context C Carr, B Deng, S Huayhua, K Ibrahim, A Jawad, F Jung, D Leveille, ... Human-Centric Cybersecurity Partnership (HC2P), 01-96, 2023 | | 2023 |
A Survey of the Security Challenges and Requirements for IoT Operating Systems A Jawad arXiv preprint arXiv:2310.19825, 2023 | | 2023 |
Single and Combined Cyberattack Impact on Industrial Wastewater Systems A Jawad, J Jaskolka 2023 10th International Conference on Dependable Systems and Their …, 2023 | | 2023 |
A Secure Development Decomposition Argument Pattern for Structured Assurance Case Models J Jaskolka, B Hamid, A Jawad, J Samuel 28th Conference on Pattern Languages of Programs, 1-11, 2021 | | 2021 |