| 2024 | APSEC | Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework. | Xinrui Zhang, Jason Jaskolka |
| 2024 | MEDI | Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | MEDI | A Tool Support Methodology for Creating Security Cases Using Argument Patterns. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2024 | QRS | Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS. | Alvi Jawad, Zoe Arnott, Jason Jaskolka |
| 2024 | TrustCom | Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor Approach with Cloud Assistance. | Xinrui Zhang, Pincan Zhao, Jason Jaskolka |
| 2024 | VECoS | A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | VECoS | Formal Security Analysis of Deep Neural Network Architecture. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2023 | EuroPLop | Formal model-based argument patterns for security cases. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2023 | ICECCS | Specification and Verification of Communication Paradigms for CBSE in Event B. | Loc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix |
| 2023 | ICSA | Formalizing the Relationship between Security Policies and Objectives in Software Architectures. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka |
| 2023 | MEDI | A Formal Metamodel for Software Architectures with Composite Components. | James Baak, Quentin Rouland, Jason Jaskolka |
| 2023 | QRS | A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. | Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka |
| 2023 | RE | Eliciting a Security Architecture Requirements Baseline from Standards and Regulations. | Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka |
| 2023 | REFSQ | Understanding the Role of Human-Related Factors in Security Requirements Elicitation. | Sanaa A. Alwidian, Jason Jaskolka |
| 2023 | SAFECOMP | Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2022 | ANT | An Evaluation of IoT Security Guidance Documents: A Shared Responsibility Perspective. | Bohdana Sereda, Jason Jaskolka |
| 2022 | EuroPLop | Security Patterns for Machine Learning: The Data-Oriented Stages. | Xinrui Zhang, Jason Jaskolka |
| 2022 | QRS | Conceptualizing the Secure Machine Learning Operations (SecMLOps) Paradigm. | Xinrui Zhang, Jason Jaskolka |
| 2022 | VTC | A Threat Model and Security Recommendations for IoT Sensors in Connected Vehicle Networks. | Sajib Kumar Kuri, Tarim Islam, Jason Jaskolka, Mohamed Ibnkahla |
| 2022 | TrustCom | Towards logical specification of adversarial examples in machine learning. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2021 | EuroPLop | A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. | Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid |
| 2021 | QRS | Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata. | Alvi Jawad, Jason Jaskolka |
| 2021 | QRS | Analyzing Structural Security Posture to Evaluate System Design Decisions. | Joe Samuel, Jason Jaskolka, George O. M. Yee |
| 2020 | ESORICS | Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System. | Jason Jaskolka |
| 2020 | ICSR | Reusable Formal Models for Threat Specification, Detection, and Treatment. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |
| 2020 | TrustCom | Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks. | Joe Samuel, Khalil Aalab, Jason Jaskolka |
| 2020 | SEC | Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels. | Thomas A. V. Sattolo, Jason Jaskolka |
| 2019 | PRDC | Distributed Maintenance of a Spanning Tree of k-Connected Graphs. | Brahim Hamid, Quentin Rouland, Jason Jaskolka |
| 2018 | MEDI | Formalizing Reusable Communication Models for Distributed Systems Architecture. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |
| 2015 | ANT | Towards the Certification of Covert Channel Freeness in Cloud-based Systems. | Jason Jaskolka, Ridha Khdri |
| 2014 | FNC | Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. | Jason Jaskolka, Ridha Khdri, Khair Eddin Sabri |
| 2014 | FNC | Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. | Jason Jaskolka, Ridha Khdri, Khair Eddin Sabri |
| 2012 | SEFM | Verification of Aspectual Composition in Feature-Modeling. | Qinglei Zhang, Ridha Khdri, Jason Jaskolka |