ERD

A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Security Requirements Formalization with RQCODE

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Message from A-MOST 2023 Workshop Chairs

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience re...

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Vulnerability Detection and Response: Current Status and New Approaches

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Toward Anomaly Detection Using Explainable AI

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Preliminary Results in Using Attention for Increasing Attack Identification Efficiency

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Security Requirements as Code: Example from VeriDevOps Project

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

CyberSecurity in a DevOps Environment From Requirements to Monitoring

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

EARLY: A Tool for Real-Time Security Attack Detection

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Message from the ITEQS 2022 Workshop Chairs

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Message from ITEQS 2023 Workshop Chairs

Project: VeriDevOps

Updated at: 28-02-2024

Show more information

Project acronym VeriDevOps

Industrial Scale Passive Testing with T-EARS

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Security Requirements Classification into Groups Using NLP Transformers

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Ethical AI-Powered Regression Test Selection

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Security monitoring - security flaws detection mechanisms and tools initial version

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Threat oracle engine specification, design and implementation initial version

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Requirements automated generation tool chain

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Machine Learning Techniques for Software Vulnerability Prediction: A comparative study

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

A Novel Model for Vulnerability Analysis through Enhanced Directed Graphs and Quantitative Metrics

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

A Model-Based Test Script Generation Framework for Embedded Software

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Specification of Passive Test Cases using anImproved T-EARS Language

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

A Framework for the Attack Tolerance of Cloud Applications Based on Web Services

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Towards a Workflow for Model-Based Testing of Embedded Systems

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps

Project: VeriDevOps

Updated at: 30-10-2023

Show more information

Project acronym VeriDevOps

Resources

Selected filters:

A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs

Security Requirements Formalization with RQCODE

Message from A-MOST 2023 Workshop Chairs

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience re...

Vulnerability Detection and Response: Current Status and New Approaches

Toward Anomaly Detection Using Explainable AI

Preliminary Results in Using Attention for Increasing Attack Identification Efficiency

Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems

PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator

Security Requirements as Code: Example from VeriDevOps Project

CyberSecurity in a DevOps Environment From Requirements to Monitoring

EARLY: A Tool for Real-Time Security Attack Detection

Message from the ITEQS 2022 Workshop Chairs

Message from ITEQS 2023 Workshop Chairs

Industrial Scale Passive Testing with T-EARS

Security Requirements Classification into Groups Using NLP Transformers

Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Ethical AI-Powered Regression Test Selection

Security monitoring - security flaws detection mechanisms and tools initial version

Threat oracle engine specification, design and implementation initial version

Requirements automated generation tool chain

Machine Learning Techniques for Software Vulnerability Prediction: A comparative study

Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment

A Novel Model for Vulnerability Analysis through Enhanced Directed Graphs and Quantitative Metrics

A Model-Based Test Script Generation Framework for Embedded Software

Specification of Passive Test Cases using anImproved T-EARS Language

Human-based Test Design versus Automated Test Generation: A Literature Review and Meta-Analysis

A Framework for the Attack Tolerance of Cloud Applications Based on Web Services

Towards a Workflow for Model-Based Testing of Embedded Systems

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps