research
∙
03/06/2023
A Systematic Approach to Automotive Security
We propose a holistic methodology for designing automotivesystems that c...
share
research
∙
11/07/2022
Metricizing the Euclidean Space towards Desired Distance Relations in Point Clouds
Given a set of points in the Euclidean space ℝ^ℓ with ℓ>1, the pairwise ...
research
∙
10/06/2022
Threat Repair with Optimization Modulo Theories
We propose a model-based procedure for automatically preventing security...
research
∙
05/02/2022
Decisions with Uncertain Consequences – A Total Ordering on Loss-Distributions
Decisions are often based on imprecise, uncertain or vague information. ...
research
∙
05/02/2022
Defending Against Advanced Persistent Threats using Game-Theory
Advanced persistent threats (APT) combine a variety of different attack ...
research
∙
06/08/2021
Supervised Machine Learning with Plausible Deniability
We study the question of how well machine learning (ML) models trained o...
research
∙
12/16/2017