Deploying verification methods for the security of cyber-physical systems into fast, flexible system engineering practices 7 Partners in 4 European countries
Europe
Joined June 2020
- Tweets761
- Following96
- Followers86
- Likes344
VeriDevOps retweeted
🤝 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
VeriDevOps retweeted
📣 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".
linkedin.com/pulse/adoption-…
🙌 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! 👇
🌐 github.com/orgs/VeriDevOps/r…
📘 link.springer.com/book/10.10…
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.
In addition, we also owe the great success of this project to our solution providers, @montimage_fr, @AboAkademi, and @IKERLANofficial, along with our use case providers, @ABBSverige and @Fagor_ES.
👋 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.
👀 And not only that, take a look at the following infographic to discover all the project achievements and innovations!
🚀 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.
link.springer.com/book/10.10…
💡 Intelligent test generation with automated feedback.
🛡️ Continuous vulnerability detection, starting at early stages with scanners.
#DevOps #ML #NLP #ContinuousIntegration #VulnerabilityDetection
veridevops.eu
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.
Thanks to it, the #VeriDevOpsProject significantly improved productivity and enabled the continuous integration/delivery of #trustworthysystems.
veridevops.eu/
🛡 Formalizing #securityrequirements
⛓ Generating #tracemonitors
📍 Locating #rootcauses of vulnerabilities
🔐 Identifying #securityflaws in code and designs
#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 ⬇
Furthermore, @Wissam2010 presented the different stages of the VeriDevOps Exploitation Execution Schedule, business plans of the project tools, and individual exploitation plans.
veridevops.eu/
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
Yi Wei showed the Communication Plan executed throughout the project and displayed the dissemination campaigns and key achievements carried out in the last period of the project.
📣 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.
🛡 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.
veridevops.eu/
Furthermore, we defined one specific scenario at @Fagor_ES that met the following requirements: