Jason Jaskolka

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 41

Top Topics

Data Corruption

Distributed Systems

Security Requirements

Machine Learning

Top Venues

J. Ambient Intell. Humaniz. Comput.

Publications

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka
Formalizing the Relationship between Security Policies and Objectives in Software Architectures. ICSA-C (2023)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
ormal model-based argument patterns for security cases. EuroPLoP (2023)
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. QRS Companion (2023)
John Breton, Jason Jaskolka, George O. M. Yee
Hardening Systems Against Data Corruption Attacks at Design Time. FPS (1) (2023)
Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
Specification and Verification of Communication Paradigms for CBSE in Event B. ICECCS (2023)
James Baak, Quentin Rouland, Jason Jaskolka
A Formal Metamodel for Software Architectures with Composite Components. MEDI (2023)
Mohannad Abu Issa, AbdelRahman Eldosouky, Mohamed Ibnkahla, Jason Jaskolka, Ashraf Matrawy
Integrating Medical and Wearable Devices with E-Health Systems Using Horizontal IoT Platforms. SAS (2023)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. SAFECOMP Workshops (2023)
Sanaa A. Alwidian, Jason Jaskolka
Understanding the Role of Human-Related Factors in Security Requirements Elicitation. REFSQ (2023)
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
Eliciting a Security Architecture Requirements Baseline from Standards and Regulations. REW (2023)
Alvi Jawad, Jason Jaskolka
Single and Combined Cyberattack Impact on Industrial Wastewater Systems. DSA (2023)
Alvi Jawad, Luke Newton, Ashraf Matrawy, Jason Jaskolka
A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets. ICC (2022)
Xinrui Zhang, Jason Jaskolka
Security Patterns for Machine Learning: The Data-Oriented Stages. EuroPLoP (2022)
Andrew LeClair, Jason Jaskolka, Wendy MacCaull, Ridha Khédri
Architecture for ontology-supported multi-context reasoning systems. Data Knowl. Eng. 140 (2022)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Towards logical specification of adversarial examples in machine learning. TrustCom (2022)
Alvi Jawad, Jason Jaskolka
Defense Models for Data Recovery in Industrial Control Systems. FPS (2022)
Jason Jaskolka, Brahim Hamid, Sahar Kokaly
Software Design Trends Supporting Multiconcern Assurance. IEEE Softw. 39 (4) (2022)
Jason Jaskolka, Brahim Hamid
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design. ASE (2022)
Jediael Mendoza, Jason Mycroft, Lyam Milbury, Nafiseh Kahani, Jason Jaskolka
On the effectiveness of data balancing techniques in the context of ML-based test case prioritization. PROMISE (2022)
Bohdana Sereda, Jason Jaskolka
An Evaluation of IoT Security Guidance Documents: A Shared Responsibility Perspective. ANT/EDI40 (2022)
Xinrui Zhang, Jason Jaskolka
Conceptualizing the Secure Machine Learning Operations (SecMLOps) Paradigm. QRS (2022)
Sajib Kumar Kuri, Tarim Islam, Jason Jaskolka, Mohamed Ibnkahla
A Threat Model and Security Recommendations for IoT Sensors in Connected Vehicle Networks. VTC Spring (2022)
Ali Farhat, AbdelRahman Eldosouky, Jason Jaskolka, Mohamed Ibnkahla, Ashraf Matrawy
Open Source Horizontal IoT Platforms: A Comparative Study on Functional Requirements. CoRR (2022)
Alvi Jawad, Jason Jaskolka
Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata. QRS (2021)
Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid
A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. EuroPLoP (2021)
Alvi Jawad, Jason Jaskolka
Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art. ANNSIM (2021)
Joe Samuel, Jason Jaskolka, George O. M. Yee
Analyzing Structural Security Posture to Evaluate System Design Decisions. QRS (2021)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. J. Syst. Archit. 117 (2021)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Reusable Formal Models for Threat Specification, Detection, and Treatment. ICSR (2020)
Jason Jaskolka
Recommendations for Effective Security Assurance of Software-Dependent Systems. SAI (3) (2020)
Jason Jaskolka
Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System. CyberICPS/SECPRE/ADIoT@ESORICS (2020)
Jason Jaskolka
Evaluating the Exploitability of Implicit Interactions in Distributed Systems. CoRR (2020)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formal specification and verification of reusable communication models for distributed systems architecture. Future Gener. Comput. Syst. 108 (2020)
Thomas A. V. Sattolo, Jason Jaskolka
Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels. SEC (2020)
Joe Samuel, Khalil Aalab, Jason Jaskolka
Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks. TrustCom (2020)
Maxime Buyse, Jason Jaskolka
Communicating Concurrent Kleene Algebra for Distributed Systems Specification. Arch. Formal Proofs 2019 (2019)
Brahim Hamid, Quentin Rouland, Jason Jaskolka
Distributed Maintenance of a Spanning Tree of k-Connected Graphs. PRDC (2019)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formalizing Reusable Communication Models for Distributed Systems Architecture. MEDI (2018)
Jason Jaskolka, John D. Villasenor
An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems. IEEE Trans. Reliab. 66 (2) (2017)
Jason Jaskolka, John D. Villasenor
Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems. HICSS (2017)
Jason Jaskolka, Ridha Khédri
Mitigating covert channels based on analysis of the potential for communication. Theor. Comput. Sci. 643 (2016)
Jason Jaskolka, Ridha Khédri
Towards the Certification of Covert Channel Freeness in Cloud-based Systems. ANT/SEIT (2015)
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
Investigative support for information confidentiality. J. Ambient Intell. Humaniz. Comput. 6 (4) (2015)
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. FNC/MobiSPC (2014)
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. FNC/MobiSPC (2014)
Jason Jaskolka, Ridha Khédri, Qinglei Zhang
Endowing Concurrent Kleene Algebra with Communication Actions. RAMiCS (2014)
Qinglei Zhang, Ridha Khédri, Jason Jaskolka
An aspect-oriented language for feature-modeling. J. Ambient Intell. Humaniz. Comput. 5 (3) (2014)
Jason Jaskolka, Ridha Khédri
A Formulation of the Potential for Communication Condition using C2KA. GandALF (2014)
Qinglei Zhang, Ridha Khédri, Jason Jaskolka
An Aspect-Oriented Language for Product Family Specification. ANT/MobiWIS (2012)
Qinglei Zhang, Ridha Khédri, Jason Jaskolka
Verification of Aspectual Composition in Feature-Modeling. SEFM (2012)
Jason Jaskolka, Ridha Khédri, Qinglei Zhang
On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey. ANT/MobiWIS (2012)
Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
A formal test for detecting information leakage via covert channels. CSIIRW (2011)
Jason Jaskolka, Ridha Khédri
Exploring Covert Channels. HICSS (2011)
Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka
Verification of Information Flow in Agent-Based Systems. MCETECH (2009)