Introductory video on “Wireless Interface Network Security Assessment” by Fabio Patrone and colleagues from University of Genova, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021. Watch it here: https://lnkd.in/eXKT3UB
- Watch the VALU3S training session series, part four: Introduction to Model Checking
- VALU3S Consortium Meeting on 18th-19th May
- Watch the VALU3S training session series, part three: Risk Analysis for Secure Automated Systems.
- Watch the VALU3S training session series, part two: Runtime Verification Based on Formal Specifications.
- Blog article: How Security of Automated systems is exploiting risk assessment as countermeasure against cyber-threats