research
∙
09/17/2023
ATM: a Logic for Quantitative Security Properties on Attack Trees
Critical infrastructure systems - for which high reliability and availab...
share
research
∙
04/12/2023
Cost-damage analysis of attack trees
Attack trees (ATs) are a widely deployed modelling technique to categori...
research
∙
03/30/2023
PFL: a Probabilistic Logic for Fault Trees
Safety-critical infrastructures must operate in a safe and reliable way....
research
∙
12/10/2022
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis
Numerous analysis methods for quantitative attack tree analysis have bee...
research
∙
05/10/2022
Robust Optimization for Local Differential Privacy
We consider the setting of publishing data without leaking sensitive inf...
research
∙
11/09/2021
Attack time analysis in dynamic attack trees via integer linear programming
Attack trees are an important tool in security analysis, and an importan...
research
∙
01/22/2021
The Privacy-Utility Tradeoff of Robust Local Differential Privacy
We consider data release protocols for data X=(S,U), where S is sensitiv...
research
∙
08/30/2020
Data Sanitisation Protocols for the Privacy Funnel with Differential Privacy Guarantees
In the Open Data approach, governments and other public organisations wa...
research
∙
02/04/2020
The Privacy Funnel from the viewpoint of Local Differential Privacy
We consider a database X⃗ = (X_1,...,X_n) containing the data of n users...
research
∙
12/02/2019
Estimating Numerical Distributions under Local Differential Privacy
When collecting information, local differential privacy (LDP) relieves t...
research
∙
11/24/2019
Four accuracy bounds and one estimator for frequency estimation under local differential privacy
We present four lower bounds on the mean squared error of both frequency...
research
∙
10/17/2019
Information-theoretic metrics for Local Differential Privacy protocols
Local Differential Privacy (LDP) protocols allow an aggregator to obtain...
research
∙
05/20/2019