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
Pinned Tweet
👋 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 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-…
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.
🙌 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…
🚀 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…
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.
💡 Intelligent test generation with automated feedback.
🛡️ Continuous vulnerability detection, starting at early stages with scanners.
#DevOps #ML #NLP #ContinuousIntegration #VulnerabilityDetection
veridevops.eu
#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 ⬇
🛡 Formalizing #securityrequirements
⛓ Generating #tracemonitors
📍 Locating #rootcauses of vulnerabilities
🔐 Identifying #securityflaws in code and designs
Thanks to it, the #VeriDevOpsProject significantly improved productivity and enabled the continuous integration/delivery of #trustworthysystems.
veridevops.eu/
📣 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.
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
Furthermore, @Wissam2010 presented the different stages of the VeriDevOps Exploitation Execution Schedule, business plans of the project tools, and individual exploitation plans.
veridevops.eu/
📣 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.
Furthermore, we defined one specific scenario at @Fagor_ES that met the following requirements:
🛡 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/