{"id":218,"date":"2019-04-22T16:47:41","date_gmt":"2019-04-22T20:47:41","guid":{"rendered":"https:\/\/carleton.ca\/jaskolka\/?page_id=218"},"modified":"2026-02-12T11:44:53","modified_gmt":"2026-02-12T16:44:53","slug":"publications-by-year","status":"publish","type":"page","link":"https:\/\/carleton.ca\/jaskolka\/publications-by-year\/","title":{"rendered":"Publications By Year"},"content":{"rendered":"\n
\n
\n\n
\n
\n
\n

\n Publications By Year\n <\/h1>\n \n \n <\/header>\n\n <\/div>\n\n <\/div>\n\n <\/div>\n<\/section>\n\n\n\n

2026<\/h2>\n\n\n\n
    \n
  1. Xinrui Zhang, Pincan Zhao, Jason Jaskolka<\/strong>, Heng Li, and Rongxing Lu. SecMLOps: A comprehensive framework for integrating security throughout the machine learning operations lifecycle<\/a>. Empirical Software Engineering<\/em>, 31:74, February 2026.<\/li>\n<\/ol>\n\n\n\n

    2025<\/h2>\n\n\n\n
      \n
    1. Stojanche Gjorcheski and Jason Jaskolka<\/strong>. Formal model-based traceability for security compliance in satellite control systems<\/a>. In Proceedings of the AIAA DATC\/IEEE 44th Digital Avionics Systems Conference<\/em>, DASC 2025<\/em>, pages 1\u201310, Montreal, QC, Canada, 2025<\/li>\n\n\n\n
    2. Ali Farhat, Mohannad Abu Issa, Abdelrahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka<\/strong>, and Ashraf Matrawy. IoT-enabled e-health systems: Navigating security challenges and strategic recommendations<\/a>. In Proceedings of the 22nd International Multi-Conference on Systems, Signals & Devices<\/em>, IEEE SSD 2025<\/em>, pages 1\u20136, Monastir, Tunisia, 2025<\/li>\n\n\n\n
    3. Xinrui Zhang, Pincan Zhao, and Jason Jaskolka<\/strong>. Navigating the DevOps landscape<\/a>. Journal of Systems and Software<\/em>, 223:112331, May 2025.<\/li>\n\n\n\n
    4. Quentin Rouland, Brahim Hamid, and Jason Jaskolka<\/strong>. A model-driven formal methods approach to software architectural security vulnerabilities specification and verification<\/a>. Journal of Systems and Software<\/em>, 219:112219, January 2025.<\/li>\n<\/ol>\n\n\n\n

      2024<\/h2>\n\n\n\n
        \n
      1. John Breton, Jason Jaskolka<\/strong>, and George O.M. Yee. An approach to determine a system\u2019s behavioural security posture<\/a>. In Kamel Adi, Simon Bourdeau, Christel Durand, Val\u00e9rie Viet Triem Tong, Alina Dulipovici, Yvon Kermarrec, and Joaquin Garcia-Alfaro, editors, Proceedings of the 17th International Symposium on Foundations & Practice of Security<\/em>, FPS 2024<\/em>, volume 15532 of Lecture Notes in Computer Science, pages 94\u2013110, Montreal, QC, Canada, 2024<\/li>\n\n\n\n
      2. Dylan L\u00e9veill\u00e9 and Jason Jaskolka<\/strong>. A tool for enabling scalable automation in security control selection<\/a>. In Kamel Adi, Simon Bourdeau, Christel Durand, Val\u00e9rie Viet Triem Tong, Alina Dulipovici, Yvon Kermarrec, and Joaquin Garcia-Alfaro, editors, Proceedings of the 17th International Symposium on Foundations & Practice of Security<\/em>, FPS 2024<\/em>, volume 15532 of Lecture Notes in Computer Science, pages 202\u2013213, Montreal, QC, Canada, 2024<\/li>\n\n\n\n
      3. Xinrui Zhang and Jason Jaskolka<\/strong>. Uncovering the DevOps landscape: A scoping review and conceptualization framework<\/a>. In Proceedings of the 31st Asia-Pacific Software Engineering Conference<\/em>, APSEC 2024<\/em>, pages 497\u2013501, Chongqing, China, 2024.<\/li>\n\n\n\n
      4. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka<\/strong>. A tool-supported methodology for creating security cases using argument patterns<\/a>. In Carlos Ordonez and Giancarlo Sperl\u00ec, Elio Masciari, and Ladjel Bellatreche, editors, Proceedings of the 13th International Conference on Model and Data Engineering<\/em>, MEDI 2024<\/em>, volume 15590 of Lecture Notes in Computer Science, pages 82-90, Naples, Italy, 2024.<\/li>\n\n\n\n
      5. Lo\u00efc Thierry, Jason Jaskolka<\/strong>, and Brahim Hamid. Reusable formal model libraries for specifying and analyzing security objectives in Event-B<\/a>. In Carlos Ordonez and Giancarlo Sperl\u00ec, Elio Masciari, and Ladjel Bellatreche, editors, Proceedings of the 13th International Conference on Model and Data Engineering<\/em>, MEDI 2024<\/em>, volume 15590 of Lecture Notes in Computer Science, pages 55-63, Naples, Italy, 2024.<\/li>\n\n\n\n
      6. Xinrui Zhang, Pincan Zhao, and Jason Jaskolka<\/strong>. Enhancing security and efficiency in vehicle-to-sensor authentication: A multi-factor approach with cloud assistance<\/a>. In 23rd IEEE International Conference on Trust, Security and Privacy in Computing and Communications<\/em>, TrustCom 2024<\/em>, pages 1632\u20131637, 2024.<\/li>\n\n\n\n
      7. Lo\u00efc Thierry, Jason Jaskolka<\/strong>, and Brahim Hamid. A formal approach for verifying and validating security objectives in software architecture<\/a>. In Belgacem Ben Hedia, Mohamed Ghazel and Bruno Monsuez, editors, Proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems<\/em>, VECoS 2024<\/em>, volume 15466 of Lecture Notes in Computer Science, pages 143-158, Djerba, Tunisia, 2024.<\/li>\n\n\n\n
      8. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka<\/strong>. Formal security analysis of deep neural network architecture<\/a>. In Carlos Ordonez and Giancarlo Sperl\u00ec, Elio Masciari, and Ladjel Bellatreche, editors, Proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems<\/em>, VECoS 2024<\/em>, volume 15466 of Lecture Notes in Computer Science, pages 97-112, Djerba, Tunisia, 2024.<\/li>\n\n\n\n
      9. Alvi Jawad and Jason Jaskolka<\/strong>. Interplay of attacker behaviors and dependability attributes in industrial control system impact analysis<\/a>. In Proceedings of the 11th International Conference on Dependable Systems and Their Applications<\/em>, DSA 2024<\/em>, pages 86-95, Suzhou, China, 2024.<\/li>\n\n\n\n
      10. Luke Newton, Jason Jaskolka<\/strong>, Quentin Rouland, and Brahim Hamid. Data-driven approximation of formal implicit interaction analysis for cyber-physical system designs<\/a>. In Proceedings of the 2024 Resilience Week Symposium<\/em>, pages 1-10, Austin, TX, USA, 2024.<\/li>\n\n\n\n
      11. Alvi Jawad, Hala Assal, and Jason Jaskolka<\/strong>. \u201cI\u2019m getting information that I can act on now\u201d: Exploring the level of actionable information in tool-generated threat reports<\/a>. In Proceedings of the 2024 European Symposium on Usable Security<\/em>, EuroUSEC 2024<\/em>, pages 172-186, Karlstad, Sweden, 2024.<\/li>\n\n\n\n
      12. Dylan L\u00e9veill\u00e9 and Jason Jaskolka<\/strong>. A game-theoretic approach for security control selection<\/a>. In Antonios Achilleos and Andrian Francalanza, editors, Proceedings of the 15th International Symposium on Games, Automata, Logics and Formal Verification<\/em>, volume 409 of Electronic Proceedings in Theoretical Computer Science, pages 103\u2013119. Open Publishing Association, Reykjavi, Iceland, 2024.<\/li>\n\n\n\n
      13. Robin Theveniaut, Brahim Hamid, and Jason Jaskolka<\/strong>. Interplay of human factors and secure architecture design using model-driven engineering<\/a>. In Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering Workshops<\/em>, ASEW 2024<\/em>, pages 108-117, Sacramento, CA, USA, 2024.<\/li>\n\n\n\n
      14. Alvi Jawad, Zoe Arnott, and Jason Jaskolka<\/strong>. Requirements for applying SCIA: a structured cyberattack impact analysis approach for ICS<\/a>. In Proceedings of the 2024 IEEE 24th International Conference on Software Quality, Reliability and Security<\/em>, QRS 2024<\/em>, pages 388-399, Cambridge, UK, 2024. (Winner of the Best Paper Award)<\/em><\/strong><\/li>\n\n\n\n
      15. Nilofar Mansourzadeh, Anil Somayaji, and Jason Jaskolka<\/strong>. A fragility metric for software diversity<\/a>. In Proceedings of the 19th Annual Symposium on Information Assurance<\/em>, ASIA 2024 <\/em>, pages 121\u2013129, Albany, NY, USA, 2024.<\/li>\n\n\n\n
      16. John Breton, Jason Jaskolka<\/strong>, and George O.M. Yee. Hardening systems against data corruption attacks at design time<\/a>. In Mohamed Mosbah, Florence S\u00e8des, Nadia Tawbi, Toufik Ahmed, Nora Boulahia-Cuppens and Joaquin Garcia-Alfaro, editors, Proceedings of the 16th International Symposium on Foundations & Practice of Security<\/em>, FPS 2023<\/em>, volume 14551 of Lecture Notes in Computer Science, pages 391-407, Bordeaux, France, 2024.<\/li>\n<\/ol>\n\n\n\n

        2023<\/h2>\n\n\n\n
          \n
        1. Quentin Rouland, Stojanche Gjorcheski, and Jason Jaskolka<\/strong>. A security compliance-by-design framework utilizing reusable formal models.<\/a> In Proceedings of the 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion<\/em>, QRS-C<\/em>, pages 186\u2013195, Chiang Mai, Thailand, 2023.<\/li>\n\n\n\n
        2. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka<\/strong>. Security argument patterns for deep neural network development<\/a>. In Proceedings of the 30th Conference on Pattern Languages of Programs<\/em>, PLoP 2023, pages 1-18, 2023.<\/li>\n\n\n\n
        3. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka<\/strong>. Formal model-based argument patterns for security cases<\/a>. In Proceedings of the 28th European Conference on Pattern Languages of Programs<\/em>, EuroPLoP 2023, pages 1-12, 2023.<\/li>\n\n\n\n
        4. James Baak, Quentin Rouland, and Jason Jaskolka<\/strong>. A formal metamodel with composite components<\/a>. In Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, and Faiez Gargouri, editors, Proceedings of the 12th International Conference on Model and Data Engineering<\/em>, MEDI 2023<\/em>, volume 14396 of Lecture Notes in Computer Science, pages 15-29, Sousse, Tunisia, 2023.<\/li>\n\n\n\n
        5. Lo\u00efc Thierry, Jason Jaskolka<\/strong>, Brahim Hamid, and Jean-Paul Bodeveix. Specification and verification of communication paradigms for CBSE in Event B<\/a>. In Proceedings of the 27th International Conference on Engineering of Complex Computer Systems<\/em>, ICECSS 2023<\/em>, pages 157\u2013166, Toulouse, France, 2023.<\/li>\n\n\n\n
        6. Alvi Jawad and Jason Jaskolka.<\/strong> Single and combined cyberattack impact on industrial wastewater systems<\/a>. In Proceedings of the 10th International Conference on Dependable Systems and Their Applications<\/em>, DSA 2023<\/em>, pages 272\u2013281, Tokyo, Japan, 2023.<\/li>\n\n\n\n
        7. Quentin Rouland, Stojanche Gjorcheski, and Jason Jaskolka<\/strong>. Eliciting a security architecture requirements baseline from standards and regulations.<\/a> In Proceedings of the 2023 IEEE 31st International Requirements Engineering Conference Workshops<\/em>, REW<\/em>, pages 224\u2013229, Hannover, Germany, 2023.<\/li>\n\n\n\n
        8. Mohannad Abu Issa, Abdelrahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka<\/strong>, and Ashraf Matrawy. Integrating medical and wearable devices with e-health systems using horizontal IoT platforms.<\/a> In Proceedings of the 2023 IEEE Sensors Applications Symposium<\/em>, SAS<\/em>, pages 1\u20136, Ottawa, ON, Canada, 2023.<\/li>\n\n\n\n
        9. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka<\/strong>. Constructing security cases based on formal verification of security requirements in Alloy<\/a>. In J\u00e9r\u00e9mie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, and Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops<\/em>, volume 14182 of Lecture Notes in Computer Science, pages 15\u201325, Toulouse, France, 2023.<\/li>\n\n\n\n
        10. Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, and Jason Jaskolka<\/strong>. Formalizing the relationship between security policies and objectives in software architectures<\/a>. In Proceedings of the 2023 IEEE 20th International Conference on Software Architecture Companion<\/em>, ICSA-C 2023<\/em>, pages 151\u2013158, L\u2019Aquila, Italy, 2023.<\/li>\n\n\n\n
        11. Sanaa Alwidian and Jason Jaskolka<\/strong>. Understanding the role of human-related factors in security requirements elicitation<\/a>. In Alessio Ferrari and Birgit Penzenstadler, editors, Proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality<\/em>, REFSQ 2023<\/em>, volume 13975 of Lecture Notes in Computer Science, pages 65-74, Barcelona, Spain, 2023.<\/li>\n\n\n\n
        12. Alvi Jawad and Jason Jaskolka<\/strong>. Defense models for data recovery in industrial control systems<\/a>. In Guy-Vincent Jourdan, Laurent Mounier, Carlisle Adams, Florence S\u00e8des, and Joaquin Garcia-Alfaro, editors, Proceedings of the 15th International Symposium on Foundations & Practice of Security<\/em>, FPS 2022<\/em>, volume 13877 of Lecture Notes in Computer Science, pages 198-216, Ottawa, ON, Canada, 2023.<\/li>\n<\/ol>\n\n\n\n

          2022<\/h2>\n\n\n\n
            \n
          1. Xinrui Zhang and Jason Jaskolka<\/strong>. Conceptualizing the secure machine learning operations (SecMLOps) paradigm<\/a>. In Proceedings of the 22nd IEEE International Conference on Software Quality, Reliability, and Security<\/em>, QRS 2022, pages 127-138, 2022.<\/li>\n\n\n\n
          2. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, and Jason Jaskolka<\/strong>. Towards logical specification of adversarial examples in machine learning<\/a>. In Proceedings of the 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications<\/em>, TrustCom 2022, pages 1575-1580, 2022.<\/li>\n\n\n\n
          3. Jason Jaskolka<\/strong> and Brahim Hamid. Towards the integration of human factors in collaborative decision making for secure architecture design<\/a>. In Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering<\/em>, ASE 2022, pages 1-8, Rochester, MI, USA, 2022.<\/li>\n\n\n\n
          4. Brahim Hamid and Jason Jaskolka<\/strong>. Work in progress: Considering human factors in collaborative decision making for secure architecture design<\/a>. In Maryam Mehrnezhad and Simon Parkin, editors, Socio-Technical Aspects in Security, STAST 2022, volume 13855 of Lecture Notes in Computer Science, pages 1\u201313, Copenhagen, Denmark, 2022.<\/li>\n\n\n\n
          5. Jediael Mendoza, Jason Mycroft, Lyam Milbury, Nafiseh Kahani, and Jason Jaskolka<\/strong>. On the effectiveness of data balancing techniques in the context of ML-based test case prioritization<\/a>. In Proceedings of the 18th International Conference on Predictive Models and Data Analytics in Software Engineering<\/em>, PROMISE 2022, pages 72-81, Singapore, 2022.<\/li>\n\n\n\n
          6. Xinrui Zhang and Jason Jaskolka<\/strong>. Security patterns for machine learning: The data-oriented stages<\/a>. In Proceedings of the 27th European Conference on Pattern Languages of Programs<\/em>, EuroPLoP 2022, pages 1-12, 2022.<\/li>\n\n\n\n
          7. Jason Jaskolka<\/strong>, Brahim Hamid, and Sahar Kokaly. Software design trends supporting multi-concern assurance<\/a>. IEEE Software<\/em>, 39(4):22\u201326, July\/August 2022.<\/li>\n\n\n\n
          8. Andrew Le Clair, Jason Jaskolka<\/strong>, Wendy MacCaull, and Ridha Khedri. Architecture for ontology-supported multi-context reasoning systems<\/a>. Data & Knowledge Engineering<\/em>, 140:102044, July 2022.<\/li>\n\n\n\n
          9. Sajib Kumar Kuri, Tarim Islam, Jason Jaskolka<\/strong>, and Mohamed Ibnkahla. A threat model and security recommendations for IoT sensors in connected vehicle networks<\/a>. In Proceedings of the 2022 IEEE 95th Vehicular Technology Conference<\/em>, VTC-Spring 2022, pages 1-5, Helsinki, Finland, 2022.<\/li>\n\n\n\n
          10. Alvi Jawad, Luke Newton, Ashraf Matrawy, and Jason Jaskolka<\/strong>. A formal analysis of the efficacy of rebooting as a countermeasure against IoT botnets<\/a>. In Proceedings of the 2022 IEEE International Conference on Communications<\/em>, IEEE ICC 2022, pages 2206-2211, Seoul, South Korea, 2022.<\/li>\n\n\n\n
          11. Bohdana Sereda and Jason Jaskolka<\/strong>. An evaluation of IoT security guidance documents: A shared responsibility perspective<\/a>. In Elhadi Shakshuki and Muhammad Younas, editors, Proceedings of the 13th International Conference on Ambient Systems, Networks and Technologies<\/em>, volume 201C of Procedia Computer Science, ANT 2022<\/em>, pages 281-288, Porto, Portugal, 2022.<\/li>\n<\/ol>\n\n\n\n

            2021<\/h2>\n\n\n\n
              \n
            1. Alvi Jawad and Jason Jaskolka<\/strong>. Analyzing the impact of cyberattacks on industrial control systems using timed automata<\/a>. In Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security<\/em>, QRS 2021, pages 966-977, Hainan Island, China, 2021.<\/li>\n\n\n\n
            2. Joe Samuel, Jason Jaskolka<\/strong>, and George O.M. Yee. Analyzing structural security posture to evaluate system design decisions<\/a>. In Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security<\/em>, QRS 2021, page 8-17, Hainan Island, China, 2021.<\/li>\n\n\n\n
            3. Jason Jaskolka<\/strong>, Brahim Hamid, Alvi Jawad, and Joe Samuel. Secure Development Decomposition \u2013 An Argument Pattern for Structured Assurance Case Models<\/a>. In Proceedings of the 28th Conference on Pattern Languages of Programs<\/em>, PLoP 2021, pages 1-12, 2021.<\/li>\n\n\n\n
            4. Jason Jaskolka<\/strong>, Brahim Hamid, Alvi Jawad, and Joe Samuel. A security property decomposition argument pattern for structured assurance case models<\/a>. In Proceedings of the 26th European Conference on Pattern Languages of Programs<\/em>, EuroPLoP 2021, pages 1-10, Graz, Austria, 2021.<\/li>\n\n\n\n
            5. Luke Newton and Jason Jaskolka<\/strong>. Analyzing implicit interactions to identify weak points in cyber-physical system designs<\/a>. In Proceedings of the 2021 Resilience Week Symposium, pages 1-8, Salt Lake City, UT, USA, 2021.<\/li>\n\n\n\n
            6. Alvi Jawad and Jason Jaskolka<\/strong>. Modeling and simulation approaches for cybersecurity impact analysis: State-of-the-art<\/a>. In Proceedings of the 2021 Annual Modeling and Simulation Conference<\/em>, ANNSIM 2021, pages 1\u201312, Fairfax, VA, USA, 2021.<\/li>\n\n\n\n
            7. Joe Samuel, Jason Jaskolka<\/strong>, and George O.M. Yee. Leveraging external data sources to enhance secure system design<\/a>. In Proceedings of the 2021 Reconciling Data Analytics, Automation, Privacy, and Security: A Big Data Challenge<\/em>, RDAAPS 2021, pages 1\u20138, Hamilton, ON, Canada, 2021.<\/li>\n\n\n\n
            8. Quentin Rouland, Brahim Hamid, and Jason Jaskolka<\/strong>. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support<\/a>. Journal of Systems Architecture<\/em>, 117:102073, August 2021.<\/li>\n<\/ol>\n\n\n\n

              2020<\/h2>\n\n\n\n
                \n
              1. Joe Samuel, Khalil Aalab, and Jason Jaskolka<\/strong>. Evaluating the soundness of security metrics from vulnerability scoring frameworks<\/a>. In Proceedings of the 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications<\/em>, IEEE TrustCom 2020, pages 442\u2013449, Guangzhou, China, 2020.<\/li>\n\n\n\n
              2. Jason Jaskolka<\/strong>. Identifying and analyzing implicit interactions in a wastewater dechlorination system<\/a>. In Sokratis Katsikas et al., editors, Computer Security. CyberICPS 2020, SECPRE 2020, ADIoT 2020<\/em>, volume 12501 of Lecture Notes in Computer Science, pages 34\u201351, Guildford, UK, 2020. Springer, Cham.<\/li>\n\n\n\n
              3. Quentin Rouland, Brahim Hamid, and Jason Jaskolka<\/strong>. Reusable formal models for threat specification, detection, and treatment<\/a>. In Sihem Ben Sassi, St\u00e9phane Ducasse, and Hafedh Mili, editors, Reuse in Emerging Software Engineering Practices, Proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020<\/em>, volume 12541 of Lecture Notes in Computer Science, pages 52\u201368, Hammamet, Tunisia, December 2020. Springer International Publishing. (Winner of the Best Paper Award)<\/em><\/strong><\/li>\n\n\n\n
              4. Thomas Sattolo and Jason Jaskolka<\/strong>. Evaluation of statistical tests for detecting storage-based covert channels<\/a>. In Marko H\u00f6lbl, Kai Rannenberg, and Tatjana Welzer, editors, Proceedings of the 35th International Conference on ICT Systems Security and Privacy Protection, IFIP SEC 2020<\/em>, volume 580 of IFIP Advances in Information and Communication Technology, pages 17\u201331, Maribor, Slovenia, September 2020. Springer, Cham.<\/li>\n\n\n\n
              5. Jason Jaskolka<\/strong>. Recommendations for effective security assurance of software-dependent systems<\/a>. In Kohei Arai, Supriya Kapoor, and Rahul Bhatia, editors, Intelligent Computing, SAI 2020<\/em>, volume 1230 of Advances in Intelligent Systems and Computing, pages 511\u2013531. London, UK, 2020. Springer, Cham.<\/li>\n\n\n\n
              6. Quentin Rouland, Brahim Hamid, and Jason Jaskolka<\/strong>. Formal specification and verification of reusable communication models for distributed systems architecture.<\/a> Future Generation Computer Systems<\/em>, 108:178-197, July 2020.<\/li>\n<\/ol>\n\n\n\n

                2019<\/h2>\n\n\n\n
                  \n
                1. Brahim Hamid, Quentin Rouland, and Jason Jaskolka<\/strong>. Distributed maintenance of a spanning tree of k-connected graphs<\/a>. In Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing<\/em>, pages 217-226, Kyoto, Japan, December 2019.<\/li>\n\n\n\n
                2. Maxime Buyse* and Jason Jaskolka<\/strong>. Communicating concurrent Kleene algebra for distributed systems specification.<\/a> Archive of Formal Proofs, <\/em>p. 22, August 2019.<\/li>\n<\/ol>\n\n\n\n

                  2018<\/h2>\n\n\n\n
                    \n
                  1. Quentin Rouland, Brahim Hamid, and Jason Jaskolka<\/strong>. Formalizing Reusable Communication Models for Distributed Systems Architecture<\/a>. In El Hassan Abdelwahed, Ladjel Bellatreche, Matt\u00e9o Golfarelli, Dominique M\u00e9ry, and Carlos Ordonez, editors,Proceedings of the 8th International Conference on Model and Data Engineering<\/em>, MEDI 2018<\/em>, volume 11163 of Lecture Notes in Computer Science, pages 198-216, Marrakesh, Morocco, October 2018.<\/li>\n\n\n\n
                  2. Jason Jaskolka<\/strong>. Challenges in Assuring Security and Resilience of Advanced Metering Infrastructure<\/a>. In Proceedings of the 18th annual IEEE Canada Electrical Power and Energy Conference<\/em>, EPEC 2018<\/em>, Toronto, ON, Canada, 2018.<\/li>\n\n\n\n
                  3. Jason Jaskolka<\/strong>. Assurance cases for security and resilience of advanced metering infrastructure. Technical Report Prepared for Natural Resources Canada<\/em>, March, 2018.<\/li>\n<\/ol>\n\n\n\n

                    2017<\/h2>\n\n\n\n
                      \n
                    1. Jason Jaskolka<\/strong> and John Villasenor. Securing Cyber-Dependent Maritime Systems and Operations<\/a>. NMIO Technical Bulletin<\/em> 12:4-6, June 2017.<\/li>\n\n\n\n
                    2. Jason Jaskolka<\/strong> and John Villasenor. An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems.<\/a> IEEE Transactions on Reliability<\/em>, 66(2):529-546, June 2017.<\/li>\n\n\n\n
                    3. Jason Jaskolka<\/strong> and John Villasenor. Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems<\/a>. In Proceedings of the 50th Hawaii International Conference on System Sciences<\/em>, HICSS-50<\/em>, pages 5988\u20135997, Hilton Waikoloa Village, HI, U.S.A., January 2017.<\/li>\n<\/ol>\n\n\n\n

                      2016<\/h2>\n\n\n\n
                        \n
                      1. Monika Bialy, Vera Pantelic, Jason Jaskolka<\/strong>, Alexander Schaap, Lucian Patcas, Mark Lawford, and Alan Wassyng. Handbook of System Safety and Security: Cyber Risk and Risk Management, Cyber Security, Threat Analysis, Functional Safety, Software Systems, and Cyber Physical Systems<\/em>, Chapter 3: Software Engineering for Model-Based Development by Domain Experts<\/a>, pages 39-64. Elsevier, First Edition, October 2016.<\/li>\n\n\n\n
                      2. Jason Jaskolka<\/strong> and Ridha Khedri. Mitigating Covert Channels Based on Analysis of the Potential for Communication<\/a>. Theoretical Computer Science<\/em>, 643:1\u201337, August 2016.<\/li>\n<\/ol>\n\n\n\n

                        2015<\/h2>\n\n\n\n
                          \n
                        1. Jason Jaskolka<\/strong>, Wendy MacCaull, and Ridha Khedri. Towards an Ontology Design Architecture<\/a>. In Proceedings of the 2015 International Conference on Computational Science and Computational Intelligence, CSCI 2015<\/em>, pages 132\u2013135, Las Vegas, NV, U.S.A., December 2015.<\/li>\n\n\n\n
                        2. Monika Bialy, Jacques Carette, Lane Gibson, Jason Jaskolka<\/strong>, Mark Lawford, Bennett Mackenzie, Tom Maibaum, Archana Mallya, Gordon Marks, Vera Pantelic, Alexander Schaap, Syed Asim Shah, and Alan Wassyng. Phase 1 Quarterly Report 8 on APC LEAP \u2013 Embedded Software Project. Technical Report, McMaster Centre for Software Certification, Hamilton, ON, Canada, December 2015.<\/li>\n\n\n\n
                        3. Jason Jaskolka<\/strong>, Wendy MacCaull, and Ridha Khedri. Towards an Architectural Framework for Systematically Designing Ontologies<\/a>. Technical Report CAS-15-09-RK, McMaster University, Hamilton, ON, Canada, November 2015.<\/li>\n\n\n\n
                        4. Jason Jaskolka<\/strong>, Ridha Khedri, and Khair Eddin Sabri. Investigative Support for Information Confidentiality<\/a>. Journal of Ambient Intelligence and Humanized Computing<\/em>, 6(4):425-451, August 2015.<\/li>\n\n\n\n
                        5. Jason Jaskolka<\/strong> and Ridha Khedri. Towards the Certification of Covert Channel Freeness in Cloud-Based Systems<\/a>. In Elhadi Shakshuki, editor, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies<\/em>, volume 52 of Procedia Computer Science, ANT 2015 and SEIT 2015<\/em>, pages 318\u2013225, London, UK, June 2015.<\/li>\n\n\n\n
                        6. Jason Jaskolka<\/strong>. On the Modeling, Analysis, and Mitigation of Distributed Covert Channels<\/a>. Ph.D. thesis, McMaster University, Hamilton, ON, Canada. March 2015.<\/li>\n<\/ol>\n\n\n\n

                          2014<\/h2>\n\n\n\n
                            \n
                          1. Jason Jaskolka<\/strong> and Ridha Khedri. A Formulation of the Potential for Communication Condition using C2<\/sup>KA<\/a>. In Adriano Peron and Carla Piazza, editors, Proceedings of the 5th International Symposium on Games, Automata, Logics and Formal Verification<\/em>, volume 161 of Electronic Proceedings in Theoretical Computer Science<\/em>, pages 161-174. Open Publishing Association, Verona, Italy, September 2014.<\/li>\n\n\n\n
                          2. Jason Jaskolka<\/strong>, Ridha Khedri, and Khair Eddin Sabri. Investigative Support for Confidentiality Part I: Detecting Information Leakage via Protocol-Based Covert Channels<\/a>. In Proceedings of the 9th International Conference on Future Networks and Communications<\/em>, volume 34 of Procedia Computer Science, FNC 2014 and MobiSPC 2014<\/em>, pages 276\u2013285, Niagara Falls, ON, Canada, August 2014. (Invited Paper)<\/em>.<\/li>\n\n\n\n
                          3. Jason Jaskolka<\/strong>, Ridha Khedri, and Khair Eddin Sabri. Investigative Support for Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics<\/a>. In Proceedings of the 9th International Conference on Future Networks and Communications<\/em>, volume 34 of Procedia Computer Science, FNC 2014 and MobiSPC 2014<\/em>, pages 266\u2013275, Niagara Falls, ON, Canada, August 2014. (Invited Paper)<\/em>.<\/li>\n\n\n\n
                          4. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka<\/strong>. An Aspect-Oriented Language for Feature-Modeling<\/a>. Journal of Ambient Intelligence and Humanized Computing<\/em>, 5(3):343-356, June 2014.<\/li>\n\n\n\n
                          5. Jason Jaskolka<\/strong>, Ridha Khedri, and Qinglei Zhang. Endowing Concurrent Kleene Algebra with Communication Actions<\/a>. In Peter H\u00f6fner, Peter Jipsen, Wolfram Kahl, and Martin E. M\u00fcller, editors, Proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science<\/em>, volume 8428 of Lecture Notes in Computer Science, pages 19-36. Springer International Publishing Switzerland, Marienstatt, Germany, April 2014.<\/li>\n<\/ol>\n\n\n\n

                            2013<\/h2>\n\n\n\n
                              \n
                            1. Jason Jaskolka<\/strong>, Ridha Khedri, and Qinglei Zhang. Foundations of Communicating Concurrent Kleene Algebra<\/a>. Technical Report CAS-13-07-RK, McMaster University, Hamilton, ON, Canada, November 2013.<\/li>\n<\/ol>\n\n\n\n

                              2012<\/h2>\n\n\n\n
                                \n
                              1. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka<\/strong>. Verification of Aspectual Composition in Feature-Modeling<\/a>. In George Eleftherakis, Mike Hinchey, and Mike Holcombe, editors, Proceedings of the 10th International Conference on Software Engineering and Formal Methods<\/em>, volume 7504 of Lecture Notes in Computer Science, pages 109\u2013125. Springer Berlin\/Heidelberg, Thessaloniki, Greece, October 2012.<\/li>\n\n\n\n
                              2. Jason Jaskolka<\/strong>, Ridha Khedri, and Qinglei Zhang. On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey<\/a>. In Elhadi Shakshuki and Muhammad Younas, editors, Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies<\/em>, volume 10 of Procedia Computer Science, ANT 2012 and MobiWIS 2012<\/em>, pages 458\u2013465, Niagara Falls, ON, Canada, August 2012.<\/li>\n\n\n\n
                              3. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka<\/strong>. An Aspect-Oriented Language for Product Family Specification<\/a>. In Elhadi Shakshuki and Muhammad Younas, editors, Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies<\/em>, volume 10 of Procedia Computer Science, ANT 2012 and MobiWIS 2012<\/em>, pages 482\u2013489, Niagara Falls, ON, Canada, August 2012.<\/li>\n<\/ol>\n\n\n\n

                                2011<\/h2>\n\n\n\n
                                  \n
                                1. Qinglei Zhang, Ridha Khedri, and Jason Jaskolka<\/strong>. An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification<\/a>. Technical Report CAS-11-08-RK, McMaster University, Hamilton, ON, Canada, November 2011.<\/li>\n\n\n\n
                                2. Jason Jaskolka<\/strong>, Ridha Khedri, and Khair Eddin Sabri. A Formal Test for Detecting Information Leakage via Covert Channels<\/a>. In Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop<\/em>, CSIIRW7, pages 1\u20134, Oak Ridge, TN, U.S.A., October 2011.<\/li>\n\n\n\n
                                3. Jason Jaskolka<\/strong>, Ridha Khedri, and Khair Eddin Sabri. Information Leakage via Protocol-Based Covert Channels: Detection, Automation, and Applications<\/a>. Technical Report CAS-11-05-RK, McMaster University, Hamilton, ON, Canada, August 2011.<\/li>\n\n\n\n
                                4. Jason Jaskolka<\/strong> and Ridha Khedri. Exploring Covert Channels<\/a>. In Proceedings of the 44th Hawaii International Conference on System Sciences<\/em>, HICSS-44, pages 1\u201310, Koloa, Kauai, HI, U.S.A., January 2011.<\/li>\n<\/ol>\n\n\n\n

                                  2010<\/h2>\n\n\n\n
                                    \n
                                  1. Jason Jaskolka<\/strong>. Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels<\/a>. Master\u2019s thesis, McMaster University, Hamilton, ON, Canada. September 2010.<\/li>\n<\/ol>\n\n\n\n

                                    2009<\/h2>\n\n\n\n
                                      \n
                                    1. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka<\/strong>. Advanced Technologies<\/em>, Chapter 13: Algebraic Model for Agent Explicit Knowledge in Multi-Agent Systems<\/a>, pages 224-250. IN-TECH, October 2009.<\/li>\n\n\n\n
                                    2. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka<\/strong>. Verification of Information Flow in Agent-Based Systems<\/a>. In Gilbert Babin, Peter Kropf, and Michael Weiss, editors, Proceedings of the 4th International MCETECH Conference on e-Technologies<\/em>, volume 26 of Lecture Notes in Business Information Processing, pages 252\u2013266, Ottawa, ON, Canada, May 2009. (Nominated for Best Paper Award)<\/strong><\/em><\/li>\n\n\n\n
                                    3. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka<\/strong>. Automated Verification of Information Flow in Agent-Based Systems<\/a>. Technical Report CAS-09-01-RK, McMaster University, Hamilton, ON, Canada, January 2009.<\/li>\n<\/ol>\n\n\n\n

                                      2008<\/h2>\n\n\n\n
                                        \n
                                      1. Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka<\/strong>. Specification of Agent Explicit Knowledge in Cryptographic Protocols<\/a>. In Proceedings of the International Conference on Computer, Electrical, and Systems Science, and Engineering<\/em>, volume 35 of CESSE 2008<\/em>, pages 447\u2013454, Venice, Italy, October 2008.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

                                        2026 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[25],"class_list":["post-218","page","type-page","status-publish","hentry","cu_page_type-research"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/pages\/218","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/comments?post=218"}],"version-history":[{"count":5,"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/pages\/218\/revisions"}],"predecessor-version":[{"id":494,"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/pages\/218\/revisions\/494"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/media?parent=218"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/jaskolka\/wp-json\/wp\/v2\/cu_page_type?post=218"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}