Joined June 2020
- Tweets 761
- Following 96
- Followers 87
- Likes 344
223 Photos and videos
Pinned Tweet
2 Apr 2024
👋 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.
1
42
🤝 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
3
4
105
📣 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-…
1
1
1
41
2 Apr 2024
👋 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.
1
42
2 Apr 2024
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.
1
16
2 Apr 2024
🙌 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…
7
2 Apr 2024
🚀 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…
1
3
22
2 Apr 2024
👀 And not only that, take a look at the following infographic to discover all the project achievements and innovations!
11
27 Mar 2024
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.
1
13
27 Mar 2024
💡 Intelligent test generation with automated feedback.
🛡️ Continuous vulnerability detection, starting at early stages with scanners.
#DevOps #ML #NLP #ContinuousIntegration #VulnerabilityDetection
veridevops.eu
7
26 Mar 2024
#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 ⬇
1
15
26 Mar 2024
🛡 Formalizing #securityrequirements
⛓ Generating #tracemonitors
📍 Locating #rootcauses of vulnerabilities
🔐 Identifying #securityflaws in code and designs
1
7
26 Mar 2024
Thanks to it, the #VeriDevOpsProject significantly improved productivity and enabled the continuous integration/delivery of #trustworthysystems.
veridevops.eu/
7
25 Mar 2024
📣 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.
1
15
25 Mar 2024
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
1
6
25 Mar 2024
Furthermore, @Wissam2010 presented the different stages of the VeriDevOps Exploitation Execution Schedule, business plans of the project tools, and individual exploitation plans.
veridevops.eu/
5
22 Mar 2024
📣 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.
1
10
22 Mar 2024
Furthermore, we defined one specific scenario at @Fagor_ES that met the following requirements:
1
5
22 Mar 2024
🛡 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/
10