Text

VeriDevOps Research Workshop Series

VeriDevOps Research Workshop IV

Time: 9:30-12:40 (CET) April.27th. 2023

Location: Hybrid (online and SOFTEAM. 45, 47 Bd Paul Vaillant Couturier, 94200 Ivry-sur-Seine (venue) 1st-floor meeting room, Paris, France)


Agenda

Time

Duration

Topic

Presenter

Organization

9:30

20 Min

VeriDevOps Technical Introduction

Andrey Sadovykh

SOFTEAM

9:50

30 Min

DocaPoste cyber security products and services

DocaPoste marketing team

DocaPoste

10:20

30 Min

PyLC - validating PLC Software using Python

Mikael Salari

Mälardalen University

10:40

20 Min

EARS - easy approach to requirements syntax

Mikael Salari

Mälardalen University

11:00

20 Min

MTA RCA - monitoring and root cause analysis of traces

Wissam Mallouli

Montimage

11:20

15 Min

Break

/

/

11:35

20 Min

Early - early attack detection

Tanwir Ahmad

Åbo Akademi University

11:55

20 Min

THOE - automated vulnerability scanner

Mariana García González

IKERLAN

12:15

20 Min

ARQAN - security requirements extraction and analysis

Andrey Sadovykh

SOFTEAM

12:35

5 Min

End of the online session

/

/

Meet the speakers

Ms. Mariana García is a researcher at the Industrial Cybersecurity area at IKERLAN, Spain. After graduating in Telecommunications, she is currently working on cybersecurity in embedded systems in the industrial field, including cybersecure development life cycle compliant with IEC 62443.

Dr. Ahmad is a post-Doctoral Researcher at Åbo Akademi University. His research focuses on the exploratory testing of cyber-physical systems. He has proposed different methodologies to efficiently discover faults in systems with multidimensional large input spaces using machine learning and evolutionary algorithms. In his recent work, he utilizes a 1-D convolution neural network for early network attack detection.

Mr. Salari is a Ph.D. Candidate in Computer Science at Mälardalen University, Sweden, and a member of VeriDevOps EU Project. He is currently working on testing Programmable Logic Controller (PLC) programs. He recently published the first paper of his Ph.D. studies at the IEEE ICST 2022 conference regarding the evaluation of available Test Automation Tools of one of the most popular PLC programming IDEs named CODESYS. His interested fields of reasearch are Software Testing, Software Security and Safety, Automated Test Case Generation for ICS programs, Catching Bugs Using Formal Verification, Network Security, Internet of Things (IoT), Software-Defined Networking (SDN).

Dr.Mallouli is currently the CTO of Montimage company located in Paris, France. His expertise covers continuous risk management and cyberdefense of critical systems and networks including cloud-based systems, IoT, and 4G/5G networks. He is working on several collaborative European research projects and has more than 50 scientific publications in popular conferences and journals.

Dr. Sadovykh is an innovation consultant and a research project manager in Softeam and an Assistant Professor at Innopolis University. He coordinated SOFTEAM’s research activities of the company covering fields such as model-driven development (MDD) and model-based system engineering (MBSE), Business Process Automation (BPA), Cloud and Big Data in application areas such as eGovernment, eHealth, Space and Agro sectors.