Formal Threat Modelling for the Internet of Things

Sep 2018— Feb 2022 The project aims at using formal threat modelling techniques to analyse and risk-assess the security of IoT devices and systems in a consistent and comprehensive way.