Jason Jaskolka

79 papers A* 1B 8C 13Misc 4Journal 20Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enabling Private Cooperative Sensing Sharing in Vehicular Networks via Encrypted Spatial Matching.
IEEE Internet Things J.
Xinrui Zhang, Pincan Zhao, Rongxing Lu, Jason Jaskolka, Suprio Ray
2026 J jnl
SecMLOps: A Comprehensive Framework for Integrating Security Throughout the MLOps Lifecycle.
CoRR
Xinrui Zhang, Pincan Zhao, Jason Jaskolka, Heng Li, Rongxing Lu
2026 J jnl
SecMLOps: A comprehensive framework for integrating security throughout the machine learning operations lifecycle.
Empir. Softw. Eng.
Xinrui Zhang, Pincan Zhao, Jason Jaskolka, Heng Li, Rongxing Lu
2026 J jnl
Security Management of Horizontal IoT Platforms: A Survey and Comparison.
ACM Comput. Surv.
Anastassia Gharib, Jason Jaskolka, Mohamed Ibnkahla, Ashraf Matrawy
2025 J jnl
A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues.
CoRR
Dylan Léveillé, Jason Jaskolka
2025 J jnl
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification.
J. Syst. Softw.
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2025 — conf
Enhancing Risk Assessment Through Contextualized Application of Systematic Impact Analysis.
DSA
Alvi Jawad, Jason Jaskolka
2025 — conf
IoT-Enabled e-Health Systems: Navigating Security Challenges and Strategic Recommendations.
SSD
Ali Farhat, Mohannad Abu Issa, AbdelRahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka, Ashraf Matrawy
2025 J jnl
Navigating the DevOps landscape.
J. Syst. Softw.
Xinrui Zhang, Pincan Zhao, Jason Jaskolka
2025 J jnl
Report on the 13th ACM/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems - SESoS@ICSE 2025.
ACM SIGSOFT Softw. Eng. Notes
Pablo Oliveira Antonino, Jakob Axelsson, Jason Jaskolka, Francesca Lonetti
2025 J jnl
strideSEA: A STRIDE-centric Security Evaluation Approach.
CoRR
Alvi Jawad, Jason Jaskolka, Ashraf Matrawy, Mohamed Ibnkahla
2024 — conf
"I'm Getting Information that I Can Act on Now": Exploring the Level of Actionable Information in Tool-generated Threat Reports.
EuroUSEC
Alvi Jawad, Hala Assal, Jason Jaskolka
2024 C conf
A Formal Approach for Verifying and Validating Security Objectives in Software Architecture.
VECoS
Loïc Thierry, Brahim Hamid, Jason Jaskolka
2024 — conf
A Game-Theoretic Approach for Security Control Selection.
GandALF
Dylan Léveillé, Jason Jaskolka
2024 C conf
A Tool Support Methodology for Creating Security Cases Using Argument Patterns.
MEDI
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
2024 — conf
A Tool for Enabling Scalable Automation in Security Control Selection.
FPS (1)
Dylan Léveillé, Jason Jaskolka
2024 — conf
An Approach to Determine a System's Behavioural Security Posture.
FPS (1)
John Breton, Jason Jaskolka, George O. M. Yee
2024 B conf
Enhancing Security and Efficiency in Vehicle-to-Sensor Authentication: A Multi-Factor Approach with Cloud Assistance.
TrustCom
Xinrui Zhang, Pincan Zhao, Jason Jaskolka
2024 C conf
Formal Security Analysis of Deep Neural Network Architecture.
VECoS
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
2024 — conf
Interplay of Attacker Behaviors and Dependability Attributes in Industrial Control System Impact Analysis.
DSA
Alvi Jawad, Jason Jaskolka
2024 — conf
Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering.
ASE Workshops
Robin Theveniaut, Brahim Hamid, Jason Jaskolka
2024 C conf
Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS.
QRS
Alvi Jawad, Zoe Arnott, Jason Jaskolka
2024 C conf
Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B.
MEDI
Loïc Thierry, Brahim Hamid, Jason Jaskolka
2024 C conf
Uncovering the DevOps Landscape: A Scoping Review and Conceptualization Framework.
APSEC
Xinrui Zhang, Jason Jaskolka
2023 C conf
A Formal Metamodel for Software Architectures with Composite Components.
MEDI
James Baak, Quentin Rouland, Jason Jaskolka
2023 — conf
A Security Compliance-by-Design Framework Utilizing Reusable Formal Models.
QRS Companion
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
2023 — conf
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.
SAFECOMP Workshops
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
2023 — conf
Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.
REW
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
2023 Misc conf
Formal model-based argument patterns for security cases.
EuroPLoP
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
2023 — conf
Formalizing the Relationship between Security Policies and Objectives in Software Architectures.
ICSA-C
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka
2023 — conf
Hardening Systems Against Data Corruption Attacks at Design Time.
FPS (1)
John Breton, Jason Jaskolka, George O. M. Yee
2023 B conf
Integrating Medical and Wearable Devices with E-Health Systems Using Horizontal IoT Platforms.
SAS
Mohannad Abu Issa, AbdelRahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka, Ashraf Matrawy
2023 — conf
Single and Combined Cyberattack Impact on Industrial Wastewater Systems.
DSA
Alvi Jawad, Jason Jaskolka
2023 B conf
Specification and Verification of Communication Paradigms for CBSE in Event B.
ICECCS
Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
2023 B conf
Understanding the Role of Human-Related Factors in Security Requirements Elicitation.
REFSQ
Sanaa A. Alwidian, Jason Jaskolka
2022 — conf
A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets.
ICC
Alvi Jawad, Luke Newton, Ashraf Matrawy, Jason Jaskolka
2022 — conf
A Threat Model and Security Recommendations for IoT Sensors in Connected Vehicle Networks.
VTC Spring
Sajib Kumar Kuri, Tarim Islam, Jason Jaskolka, Mohamed Ibnkahla
2022 — conf
An Evaluation of IoT Security Guidance Documents: A Shared Responsibility Perspective.
ANT/EDI40
Bohdana Sereda, Jason Jaskolka
2022 J jnl
Architecture for ontology-supported multi-context reasoning systems.
Data Knowl. Eng.
Andrew LeClair, Jason Jaskolka, Wendy MacCaull, Ridha Khédri
2022 C conf
Conceptualizing the Secure Machine Learning Operations (SecMLOps) Paradigm.
QRS
Xinrui Zhang, Jason Jaskolka
2022 — conf
Defense Models for Data Recovery in Industrial Control Systems.
FPS
Alvi Jawad, Jason Jaskolka
2022 — conf
On the effectiveness of data balancing techniques in the context of ML-based test case prioritization.
PROMISE
Jediael Mendoza, Jason Mycroft, Lyam Milbury, Nafiseh Kahani, Jason Jaskolka
2022 J jnl
Open Source Horizontal IoT Platforms: A Comparative Study on Functional Requirements.
CoRR
Ali Farhat, AbdelRahman Eldosouky, Jason Jaskolka, Mohamed Ibnkahla, Ashraf Matrawy
2022 Misc conf
Security Patterns for Machine Learning: The Data-Oriented Stages.
EuroPLoP
Xinrui Zhang, Jason Jaskolka
2022 J jnl
Software Design Trends Supporting Multiconcern Assurance.
IEEE Softw.
Jason Jaskolka, Brahim Hamid, Sahar Kokaly
2022 B conf
Towards logical specification of adversarial examples in machine learning.
TrustCom
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
2022 A* conf
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design.
ASE
Jason Jaskolka, Brahim Hamid
2022 — conf
Work in Progress: Considering Human Factors in Collaborative Decision Making for Secure Architecture Design.
STAST
Brahim Hamid, Jason Jaskolka
2021 Misc conf
A Security Property Decomposition Argument Pattern for Structured Assurance Case Models.
EuroPLoP
Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid
2021 C conf
Analyzing Structural Security Posture to Evaluate System Design Decisions.
QRS
Joe Samuel, Jason Jaskolka, George O. M. Yee
2021 C conf
Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata.
QRS
Alvi Jawad, Jason Jaskolka
2021 — conf
Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art.
ANNSIM
Alvi Jawad, Jason Jaskolka
2021 J jnl
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
J. Syst. Archit.
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2020 J jnl
Evaluating the Exploitability of Implicit Interactions in Distributed Systems.
CoRR
Jason Jaskolka
2020 B conf
Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks.
TrustCom
Joe Samuel, Khalil Aalab, Jason Jaskolka
2020 Misc conf
Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels.
SEC
Thomas A. V. Sattolo, Jason Jaskolka
2020 J jnl
Formal specification and verification of reusable communication models for distributed systems architecture.
Future Gener. Comput. Syst.
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2020 — conf
Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System.
CyberICPS/SECPRE/ADIoT@ESORICS
Jason Jaskolka
2020 — conf
Recommendations for Effective Security Assurance of Software-Dependent Systems.
SAI (3)
Jason Jaskolka
2020 B conf
Reusable Formal Models for Threat Specification, Detection, and Treatment.
ICSR
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2019 J jnl
Communicating Concurrent Kleene Algebra for Distributed Systems Specification.
Arch. Formal Proofs
Maxime Buyse, Jason Jaskolka
2019 C conf
Distributed Maintenance of a Spanning Tree of k-Connected Graphs.
PRDC
Brahim Hamid, Quentin Rouland, Jason Jaskolka
2018 C conf
Formalizing Reusable Communication Models for Distributed Systems Architecture.
MEDI
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2017 J jnl
An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems.
IEEE Trans. Reliab.
Jason Jaskolka, John D. Villasenor
2017 — conf
Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems.
HICSS
Jason Jaskolka, John D. Villasenor
2016 J jnl
Mitigating covert channels based on analysis of the potential for communication.
Theor. Comput. Sci.
Jason Jaskolka, Ridha Khédri
2015 J jnl
Investigative support for information confidentiality.
J. Ambient Intell. Humaniz. Comput.
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2015 — conf
Towards the Certification of Covert Channel Freeness in Cloud-based Systems.
ANT/SEIT
Jason Jaskolka, Ridha Khédri
2014 — conf
A Formulation of the Potential for Communication Condition using C2KA.
GandALF
Jason Jaskolka, Ridha Khédri
2014 J jnl
An aspect-oriented language for feature-modeling.
J. Ambient Intell. Humaniz. Comput.
Qinglei Zhang, Ridha Khédri, Jason Jaskolka
2014 C conf
Endowing Concurrent Kleene Algebra with Communication Actions.
RAMiCS
Jason Jaskolka, Ridha Khédri, Qinglei Zhang
2014 — conf
Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels.
FNC/MobiSPC
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2014 — conf
Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics.
FNC/MobiSPC
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2012 — conf
An Aspect-Oriented Language for Product Family Specification.
ANT/MobiWIS
Qinglei Zhang, Ridha Khédri, Jason Jaskolka
2012 — conf
On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey.
ANT/MobiWIS
Jason Jaskolka, Ridha Khédri, Qinglei Zhang
2012 B conf
Verification of Aspectual Composition in Feature-Modeling.
SEFM
Qinglei Zhang, Ridha Khédri, Jason Jaskolka
2011 — conf
A formal test for detecting information leakage via covert channels.
CSIIRW
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2011 — conf
Exploring Covert Channels.
HICSS
Jason Jaskolka, Ridha Khédri
2009 — conf
Verification of Information Flow in Agent-Based Systems.
MCETECH
Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka