Introductory video on “Risk Analysis for Secure Automated Systems” by Davide Ottonello from STAM, 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.
Recent News
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 two: Runtime Verification Based on Formal Specifications.
Watch the VALU3S training session series, part one: Wireless Interface Network Security Assessment.
Blog article: How Security of Automated systems is exploiting risk assessment as countermeasure against cyber-threats
