research
∙
03/06/2023
A Systematic Approach to Automotive Security
We propose a holistic methodology for designing automotivesystems that c...
share
research
∙
12/29/2022
Identification and Verification of Attack-Tree Threat Models in Connected Vehicles
As a result of the ever-increasing application of cyber-physical compone...
research
∙
10/06/2022
Threat Repair with Optimization Modulo Theories
We propose a model-based procedure for automatically preventing security...
research
∙
07/02/2019