CyberSecurity in a DevOps Environment

Part I: Security Requirements Engineering.- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs.- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches.- 3. Security Requirements Formalisation with RQCODE.- Part II: Prevention at Development Time.- 4. Vulnerability Detection and Response: Current Status and New Approaches.- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems.- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators.- Part III: Protection at Operations.- 7. CTAM: a tool for Continuous Threat Analysis and Management.- 8. EARLY - a tool for real-time security attack detection.- 9. A Stream-Based Approach to Intrusion Detection.- 10. Towards Anomaly Detection using Explainable AI.

 

Andrey Sadovykh is a senior researcher at Softeam/DocaPoste, part of the French La Poste group. For many years, he has led research activities on model-driven engineering applied to various areas from cyber-physical systems to cloud applications. Recently, his main focus is on requirements engineering with regards to automated analysis of security requirements, lightweight formalisation and validation with automated tests. He is the technical coordinator of the European collaborative research project on cyber security - VeriDevOps.

Dragos Truscan is a senior lecturer in Software Engineering at Åbo Akademi University, Finland. He has obtained a doctoral degree from the same university on topics related to model-driven development of programmable protocol processors.  Over the last decade his research focused on model-based and ML/AI-based techniques for testing functional and non-functional properties of software intensive systems. The main emphasis of hiswork was on deploying such techniques to industrial settings.

Wissam Mallouli is currently the CTO of Montimage, Paris, France. His expertise covers continuous risk management, test and monitoring of critical systems and networks including industrial systems, cloud-based systems, IoT and 4G/5G networks.  He is working in several collaborative European research projects and has more than 70 scientific publications at conferences and in journals.


Ana Rosa Cavalli is emeritus professor and research director of Montimage SME. From 1985 to 1990, she was a researcher in the department Languages and Switch Systems, at CNET (Centre National d'Etudes des Telecommunications), where she worked on software engineering and formal methods. She had been Full Professor at TELECOM SudParis and since 1990 the director of the Software for Networks department. Her research interests are on formal modelling, testing methodologies for active testing and