VeriDevOps is the project funded by Horizon 2020. VeriDevOps aims at providing a faster feedback loop for verifying security requirements i.e. confidentiality, integrity, availability, authentication, authorization and other functional and extra-functional attributes of large scale industrial systems.

A Stream-Based Approach to Intrusion Detection
23:16
A Stream-Based Approach to Intrusion Detection
CTAM: a tool for Continuous Threat Analysis and Management
18:55
CTAM: a tool for Continuous Threat Analysis and Management
Towards Anomaly Detection using Explainable AI
22:34
Towards Anomaly Detection using Explainable AI
EARLY - a tool for real-time security attack detection
22:56
EARLY - a tool for real-time security attack detection
Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators
20:02
Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators
Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems
17:10
Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems
Security Requirements Formalization with RQCODE
16:33
Security Requirements Formalization with RQCODE
Vulnerability Detection and Response Current Status and New Approaches
22:37
Vulnerability Detection and Response Current Status and New Approaches
Natural Language Processing with Machine Learning for Security Requirements Analysis
23:41
Natural Language Processing with Machine Learning for Security Requirements Analysis
A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs
17:45
A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs
VeriDevOps Project Technical introduction
20:48
VeriDevOps Project Technical introduction
Research Workshop V
30:46
Research Workshop V
Research Workshop V
13:19
Research Workshop V
Research Workshop V
20:59
Research Workshop V
Research Workshop V
14:52
Research Workshop V
Research Workshop V-Advanced safety/security monitoring and root cause analysis
14:12
Research Workshop V-Advanced safety/security monitoring and root cause analysis
VeriDevOps Research Workshop III- Metamorphic testing with fault localization for ICSs
18:20
VeriDevOps Research Workshop III- Metamorphic testing with fault localization for ICSs
VeriDevOps Research Workshop III-Finding Quality Problems In Security Requirements Using NALABS
34:06
VeriDevOps Research Workshop III-Finding Quality Problems In Security Requirements Using NALABS
VeriDevOps Research Workshop III- Anomaly detection with Explainable AI
22:38
VeriDevOps Research Workshop III- Anomaly detection with Explainable AI
VeriDevOps Research Workshop III-Software Testing at ABB MP
22:42
VeriDevOps Research Workshop III-Software Testing at ABB MP
VerDevOps Reserach Workshop III- RQCODE - Requirements as Code
23:46
VerDevOps Reserach Workshop III- RQCODE - Requirements as Code
VeriDevOps Research Workshop III-Technical Introduction
16:07
VeriDevOps Research Workshop III-Technical Introduction
VeriDevOps Research Workshop II Oct 20th Livestream Recording
3:09:09
VeriDevOps Research Workshop II Oct 20th Livestream Recording
VeriDevOps Research Workshop I
2:39:24
VeriDevOps Research Workshop I
VeriDevOps Students Workshop 2021
2:52:52
VeriDevOps Students Workshop 2021
VeriDevOps Technical Introduction in DATE21
11:56
VeriDevOps Technical Introduction in DATE21