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
∙
11/15/2020
Safety Synthesis Sans Specification
We define the problem of learning a transducer S from a target language ...
research
∙
07/10/2019
