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)
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 |
| 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 |
|
| ||
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.