Verification of Information Flow in Agent-Based Systems. - Khair Eddin Sabri; Ridha Khédri; Jason Jaskolka (MCETECH, 2009)

A formal test for detecting information leakage via covert channels. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (CSIIRW, 2011)

Exploring Covert Channels. - Jason Jaskolka; Ridha Khédri (HICSS, 2011)

Verification of Aspectual Composition in Feature-Modeling. - Qinglei Zhang; Ridha Khédri; Jason Jaskolka (SEFM, 2012)

On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey. - Jason Jaskolka; Ridha Khédri; Qinglei Zhang (ANT/MobiWIS, 2012)

An Aspect-Oriented Language for Product Family Specification. - Qinglei Zhang; Ridha Khédri; Jason Jaskolka (ANT/MobiWIS, 2012)

Endowing Concurrent Kleene Algebra with Communication Actions. - Jason Jaskolka; Ridha Khédri; Qinglei Zhang (RAMiCS, 2014)

Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (FNC/MobiSPC, 2014)

Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (FNC/MobiSPC, 2014)

A Formulation of the Potential for Communication Condition using C2KA. - Jason Jaskolka; Ridha Khédri (GandALF, 2014)

An aspect-oriented language for feature-modeling. - Qinglei Zhang; Ridha Khédri; Jason Jaskolka (J. Ambient Intell. Humaniz. Comput., 2014)

Towards the Certification of Covert Channel Freeness in Cloud-based Systems. - Jason Jaskolka; Ridha Khédri (ANT/SEIT, 2015)

Investigative support for information confidentiality. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (J. Ambient Intell. Humaniz. Comput., 2015)

Mitigating covert channels based on analysis of the potential for communication. - Jason Jaskolka; Ridha Khédri (Theor. Comput. Sci., 2016)

Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems. - Jason Jaskolka; John D. Villasenor (HICSS, 2017)

An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems. - Jason Jaskolka; John D. Villasenor (IEEE Trans. Reliab., 2017)

Formalizing Reusable Communication Models for Distributed Systems Architecture. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (MEDI, 2018)

Distributed Maintenance of a Spanning Tree of k-Connected Graphs. - Brahim Hamid; Quentin Rouland; Jason Jaskolka (PRDC, 2019)

Communicating Concurrent Kleene Algebra for Distributed Systems Specification. - Maxime Buyse; Jason Jaskolka (Arch. Formal Proofs, 2019)

Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System. - Jason Jaskolka (CyberICPS/SECPRE/ADIoT@ESORICS, 2020)

Reusable Formal Models for Threat Specification, Detection, and Treatment. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (ICSR, 2020)

Recommendations for Effective Security Assurance of Software-Dependent Systems. - Jason Jaskolka (SAI (3), 2020)

Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels. - Thomas A. V. Sattolo; Jason Jaskolka (SEC, 2020)

Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks. - Joe Samuel; Khalil Aalab; Jason Jaskolka (TrustCom, 2020)

Evaluating the Exploitability of Implicit Interactions in Distributed Systems. - Jason Jaskolka (CoRR, 2020)

Formal specification and verification of reusable communication models for distributed systems architecture. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (Future Gener. Comput. Syst., 2020)

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)

Analyzing Structural Security Posture to Evaluate System Design Decisions. - Joe Samuel; Jason Jaskolka; George O. M. Yee (QRS, 2021)

Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (J. Syst. Archit., 2021)

An Evaluation of IoT Security Guidance Documents: A Shared Responsibility Perspective. - Bohdana Sereda; Jason Jaskolka (ANT/EDI40, 2022)

Security Patterns for Machine Learning: The Data-Oriented Stages. - Xinrui Zhang; Jason Jaskolka (EuroPLoP, 2022)

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)

Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design. - Jason Jaskolka; Brahim Hamid (ASE, 2022)

On the effectiveness of data balancing techniques in the context of ML-based test case prioritization. - Jediael Mendoza; Jason Mycroft; Lyam Milbury; Nafiseh Kahani; Jason Jaskolka (PROMISE, 2022)

Conceptualizing the Secure Machine Learning Operations (SecMLOps) Paradigm. - Xinrui Zhang; Jason Jaskolka (QRS, 2022)

Work in Progress: Considering Human Factors in Collaborative Decision Making for Secure Architecture Design. - Brahim Hamid; Jason Jaskolka (STAST, 2022)

Towards logical specification of adversarial examples in machine learning. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (TrustCom, 2022)

A Threat Model and Security Recommendations for IoT Sensors in Connected Vehicle Networks. - Sajib Kumar Kuri; Tarim Islam; Jason Jaskolka; Mohamed Ibnkahla (VTC Spring, 2022)

Open Source Horizontal IoT Platforms: A Comparative Study on Functional Requirements. - Ali Farhat; AbdelRahman Eldosouky; Jason Jaskolka; Mohamed Ibnkahla; Ashraf Matrawy (CoRR, 2022)

Architecture for ontology-supported multi-context reasoning systems. - Andrew LeClair; Jason Jaskolka; Wendy MacCaull; Ridha Khédri (Data Knowl. Eng., 2022)

Software Design Trends Supporting Multiconcern Assurance. - Jason Jaskolka; Brahim Hamid; Sahar Kokaly (IEEE Softw., 2022)

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

Formal model-based argument patterns for security cases. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (EuroPLoP, 2023)

Hardening Systems Against Data Corruption Attacks at Design Time. - John Breton; Jason Jaskolka; George O. M. Yee (FPS (1), 2023)

Specification and Verification of Communication Paradigms for CBSE in Event B. - Loïc Thierry; Jason Jaskolka; Brahim Hamid; Jean-Paul Bodeveix (ICECCS, 2023)

Formalizing the Relationship between Security Policies and Objectives in Software Architectures. - Quentin Rouland; Brahim Hamid; Jean-Paul Bodeveix; Jason Jaskolka (ICSA-C, 2023)

A Formal Metamodel for Software Architectures with Composite Components. - James Baak; Quentin Rouland; Jason Jaskolka (MEDI, 2023)

A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. - Quentin Rouland; Stojanche Gjorcheski; Jason Jaskolka (QRS Companion, 2023)

Eliciting a Security Architecture Requirements Baseline from Standards and Regulations. - Quentin Rouland; Stojanche Gjorcheski; Jason Jaskolka (REW, 2023)

Understanding the Role of Human-Related Factors in Security Requirements Elicitation. - Sanaa A. Alwidian; Jason Jaskolka (REFSQ, 2023)

Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (SAFECOMP Workshops, 2023)

Integrating Medical and Wearable Devices with E-Health Systems Using Horizontal IoT Platforms. - Mohannad Abu Issa; AbdelRahman Eldosouky; Mohamed Ibnkahla; Jason Jaskolka; Ashraf Matrawy (SAS, 2023)

Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework. - Xinrui Zhang; Jason Jaskolka (APSEC, 2024)

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)

An Approach to Determine a System's Behavioural Security Posture. - John Breton; Jason Jaskolka; George O. M. Yee (FPS (1), 2024)

A Tool for Enabling Scalable Automation in Security Control Selection. - Dylan Léveillé; Jason Jaskolka (FPS (1), 2024)

Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering. - Robin Theveniaut; Brahim Hamid; Jason Jaskolka (ASE Workshops, 2024)

Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B. - Loïc Thierry; Brahim Hamid; Jason Jaskolka (MEDI, 2024)

A Tool Support Methodology for Creating Security Cases Using Argument Patterns. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (MEDI, 2024)

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

Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor Approach with Cloud Assistance. - Xinrui Zhang; Pincan Zhao; Jason Jaskolka (TrustCom, 2024)

A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. - Loïc Thierry; Brahim Hamid; Jason Jaskolka (VECoS, 2024)

Formal Security Analysis of Deep Neural Network Architecture. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (VECoS, 2024)

A Game-Theoretic Approach for Security Control Selection. - Dylan Léveillé; Jason Jaskolka (GandALF, 2024)

IoT-Enabled e-Health Systems: Navigating Security Challenges and Strategic Recommendations. - Ali Farhat; Mohannad Abu Issa; AbdelRahman Eldosouky; Mohamed Ibnkahla; Jason Jaskolka; Ashraf Matrawy (SSD, 2025)

A model-driven formal methods approach to software architectural security vulnerabilities specification and verification. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (J. Syst. Softw., 2025)

Navigating the DevOps landscape. - Xinrui Zhang; Pincan Zhao; Jason Jaskolka (J. Syst. Softw., 2025)

A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues. - Dylan Léveillé; Jason Jaskolka (CoRR, 2025)

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