Publications 2024-2025

2024-2025

Journal Publications

1. X. Zhang, P. Zhao, and J. Jaskolka, “Navigating the DevOps landscape,” Journal of Systems and Software, vol. 223, p. 112331, May 2025.
2. Q. Rouland, B. Hamid, and J. Jaskolka, “A model-driven formal methods approach to software architectural security vulnerabilities specification and verification,” Journal of Systems and Software, vol. 219, p. 112219, January 2025.

Conference Publications

1. G. Yee, “Designs for Reducing Data Breach Impact”, in 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 2289-2294, Toronto, Canada, 2025.
2. J. Breton, J. Jaskolka, and G. Yee, “An approach to determine a system’s behavioural security posture,” in 17th International Symposium on Foundations & Practice of Security (K. Adi, S. Bourdeau, C. Durand, V. Viet Triem Tong, A. Dulipovici, Y. Kermarrec, and J. Garcia-Alfaro, eds.), vol. 15532 of Lecture Notes in Computer Science, (Cham), pp. 94–110, Springer, 2024.
3. A. Jawad, Z. Arnott, and J. Jaskolka, “Requirements for applying SCIA: a structured cyberattack impact analysis approach for ICS,” in 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024, (Cambridge, UK), pp. 388–399, 2024.
4. A. Jawad, H. Assal, and J. Jaskolka, ““I’m getting information that I can act on now”: Exploring the level of actionable information in tool-generated threat reports,” in 2024 European Symposium on Usable Security, EuroUSEC 2024, (Karlstad, Sweden), pp. 172–186, 2024.
5. A. Jawad and J. Jaskolka, “Interplay of attacker behaviors and dependability attributes in industrial control system impact analysis,” in 11th International Conference on Dependable Systems and Their Applications, DSA 2024, (Suzhou, China), pp. 86–95, 2024.
6. D. Léveillé and J. Jaskolka, “A game-theoretic approach for security control selection,” in 15th International Symposium on Games, Automata, Logics and Formal Verification (A. Achilleos and A. Francalanza, eds.), vol. 409 of Electronic Proceedings in Theoretical Computer Science, (Reykjavik, Iceland), pp. 103–119, Open Publishing Association, 2024.
7. D. Léveillé and J. Jaskolka, “A tool for enabling scalable automation in security control selection,” in 17th International Symposium on Foundations & Practice of Security (K. Adi, S. Bourdeau, C. Durand, V. Viet Triem Tong, A. Dulipovici, Y. Kermarrec, and J. Garcia-Alfaro, eds.), vol. 15532 of Lecture Notes in Computer Science, (Cham), pp. 202–213, Springer, 2024.
8. N. Mansourzadeh, A. Somayaji, and J. Jaskolka, “A fragility metric for software diversity,” in 19th Annual Symposium on Information Assurance, ASIA 2024, (Albany, NY, USA), pp. 121–129, 2024.
9. L. Newton, J. Jaskolka, Q. Rouland, and B. Hamid, “Data-driven approximation of formal implicit interaction analysis for cyber-physical system designs,” in Resilience Week 2024 Symposium, (Austin, TX, USA), pp. 1–10, 2024.
10. R. Theveniaut, B. Hamid, and J. Jaskolka, “Interplay of human factors and secure architecture design using model-driven engineering,” in 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2024, (Sacramento, CA, USA), pp. 108–117, 2024.
11. X. Zhang and J. Jaskolka, “Uncovering the DevOps landscape: A scoping review and conceptualization framework,” in 31st Asia-Pacific Software Engineering Conference, APSEC 2024, (Chongqing, China), pp. 497–501, 2024.
12. X. Zhang, P. Zhao, and J. Jaskolka, “Enhancing security and efficiency in vehicle-to-sensor authentication: A multi-factor approach with cloud assistance,” in 23rd IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2024, pp. 1632–1637, 2024.
13. A. Farhat, M. A. Issa, A. Eldosouky, M. Ibnkahla, Jason Jaskolka, and A. Matrawy, “IoT-enabled e-health systems: Navigating security challenges and strategic recommendations,” in 22nd International Multi-Conference on Systems, Signals & Devices, SSD 2025, (Monastir, Tunisia), pp. 1–6, 2025.
14. S. Gjorcheski and J. Jaskolka, “Formal model-based traceability for security compliance in satellite control systems,” in AIAA DATC/IEEE 44th Digital Avionics Systems Conference, DASC 2025, (Montreal, QC, Canada), pp. 1–10, 2025.
15. B. Hamid and J. Jaskolka, “Work in progress: Considering human factors in collaborative decision making for secure architecture design,” in Socio-Technical Aspects in Security, STAST 2022 (M. Mehrnezhad and S. Parkin, eds.), vol. 13855 of Lecture Notes in Computer Science, (Cham), pp. 1–13, 2025.