VeriDevOps

Deploying verification methods for the security of cyber-physical systems into fast, flexible system engineering practices
7 Partners in 4 European countries

[VeriDevOps @VeriDevOps]

👋 On 31 March, we ended the #VeriDevOpsProject, marking the last day of our great journey! For over three years, @malardalen_uni has expertly coordinated the project in tandem with our technical leader @Docapost.

[AIDOaRt @aidoart]

🤝 In the video, Luca Morlino introduces us to the challenge formed by Fabio Marongiu and @Tiziana_Fanni from @abinsula_it as the use case provider, and Luca Morlino from @Intecs as the solution provider.

#AIDOaRt #AIDOaRtProject #AI #ML

[AIDOaRt @aidoart]

📣 A new article in the newsletter is out now! Our second article is about the second winner of the 5th Internal Hackathon, "Adoption of AI and ML techniques for image processing in the automotive context".

https://t.co/Lk7RwoSRbS

[AIDOaRt @aidoart]

📣 New article in our newsletter tomorrow! This time, it is the turn of our second Hackathon winner with the challenge "Adoption of AI and ML techniques for image processing in the automotive context". 🥈

[VeriDevOps @VeriDevOps]

🙌 A heartfelt thank you to everyone involved for making this journey unforgettable!

PS: Don't forget to check out our VeriDevOps tool Git Repository and get our book! 👇

🌐 https://t.co/QIITyLNCBS
📘 https://t.co/esLZLaQBbO

[VeriDevOps @VeriDevOps]

👋 On 31 March, we ended the #VeriDevOpsProject, marking the last day of our great journey! For over three years, @malardalen_uni has expertly coordinated the project in tandem with our technical leader @Docapost.

[VeriDevOps @VeriDevOps]

These intense years have been full of discoveries, progress, publications, and results, all of them, collected in our book #Cybersecurity in a #DevOps Environment. From workshops to conferences, #VeriDevOps has been a journey of innovation and collaboration.

[VeriDevOps @VeriDevOps]

👀 And not only that, take a look at the following infographic to discover all the project achievements and innovations!

[VeriDevOps @VeriDevOps]

🚀 VeriDevOps key results 🚀

9 use cases, 21 tools, +45 papers, a published book on #CyberSecurity in a #DevOps Environment, and 6 Research workshops later, we conclude with the #VeriDevOpsProject.

https://t.co/esLZLaQBbO

[VeriDevOps @VeriDevOps]

💡 Intelligent test generation with automated feedback.

🛡️ Continuous vulnerability detection, starting at early stages with scanners.

#DevOps #ML #NLP #ContinuousIntegration #VulnerabilityDetection

https://t.co/Mx1MS72dZk

[VeriDevOps @VeriDevOps]

As #VeriDevOps is coming to an end, we are excited to share our top key innovations developed along the way ⬇

🔍 NLP datasets and models for requirements classification and security guidelines mapping.

🛠️ Real-time ML-based detection and root cause analysis.

[VeriDevOps @VeriDevOps]

Thanks to it, the #VeriDevOpsProject significantly improved productivity and enabled the continuous integration/delivery of #trustworthysystems.

https://t.co/JpotKzHQKb

[VeriDevOps @VeriDevOps]

#VeriDevOps was born with the mission of creating a methodology and a set of integrated mechanisms that significantly improve automation in #DevOps to protect systems at operations time and prevent security issues at development time by ⬇

[VeriDevOps @VeriDevOps]

🛡 Formalizing #securityrequirements
⛓ Generating #tracemonitors
📍 Locating #rootcauses of vulnerabilities
🔐 Identifying #securityflaws in code and designs

[VeriDevOps @VeriDevOps]

Furthermore, @Wissam2010 presented the different stages of the VeriDevOps Exploitation Execution Schedule, business plans of the project tools, and individual exploitation plans.

https://t.co/IpZVvg1Xgj

[VeriDevOps @VeriDevOps]

📣 The outcomes of the #VeriDevOpsproject were presented during the

#VeriDevOps Project Final Review. The WP6 “Dissemination and Exploitation” was introduced by Yi Wei from @malardalen_uni and @Wissam2010 from @montimage_fr.

[VeriDevOps @VeriDevOps]

In total, #VeriDevOps 👇

📰 Reached 46 publications
🗣 Organized 6 research workshops
🇪🇺 Co-organized 3 workshops at international conferences
🚀 Impacted 5600 persons at high profile final dissemination event

[VeriDevOps @VeriDevOps]

@IKERLANofficial @Fagor_ES 🛡 Time reduction in vulnerability management, thus making the system more robust against new threats.
🛡 Reduce daily time consumed by technicians in manual vulnerability checking.
🛡 Reduction of the error rate due to the human factor.

https://t.co/IpZVvg1Xgj

[VeriDevOps @VeriDevOps]

📣 The outcomes of the #VeriDevOpsproject were presented during the #VeriDevOps Project Final Review. The WP5 “Evaluation and Validation” was introduced by Aitor Uribarren from @IKERLANofficial. During the presentation, the WP5 overview, objectives, and KPI evaluation were shown.

[VeriDevOps @VeriDevOps]

@IKERLANofficial Furthermore, we defined one specific scenario at @Fagor_ES that met the following requirements: