Milan Lopuhaä-Zwakenberg

Richard Heusdens

IEEE Trans. Inf. Forensics Secur., 2024

Fuzzy Fault Trees Formalized.

[BibT_eX]

[DOI]

Thi Kim Nhung Dang

CoRR, 2024

Querying Fault and Attack Trees: Property Specification on a Water Network.

[BibT_eX]

[DOI]

CoRR, 2024

Attack tree metrics are operad algebras.

[BibT_eX]

[DOI]

CoRR, 2024

Fault Tree Reliability Analysis via Squarefree Polynomials.

[BibT_eX]

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

Fuzzy quantitative attack tree analysis.

[BibT_eX]

[DOI]

Thi Kim Nhung Dang

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis.

[BibT_eX]

[DOI]

Carlos E. Budde

IEEE Trans. Dependable Secur. Comput., 2023

ATM: a Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

CoRR, 2023

PFL: a Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

CoRR, 2023

sfATM: A Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

[BibT_eX]

[DOI]

Reza Soltani

Matthias Volk

Leonardo Diamonte

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

sfPFL: A Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Cost-Damage Analysis of Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

2022

Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the 21st Workshop on Privacy in the Electronic Society, 2022

Robust Optimization for Local Differential Privacy.

[BibT_eX]

[DOI]

Jasper Goseling

Proceedings of the IEEE International Symposium on Information Theory, 2022

Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization.

[BibT_eX]

[DOI]

Qiongxiu Li

Mads Græsbøll Christensen

Richard Heusdens

Proceedings of the 30th European Signal Processing Conference, 2022

2021

The Privacy-Utility Tradeoff of Robust Local Differential Privacy.

[BibT_eX]

[DOI]

Jasper Goseling

CoRR, 2021

Comparing Classifiers' Performance under Differential Privacy.

[BibT_eX]

[DOI]

Mina Alishahi

Jeroen Kivits

Jordi Klarenbeek

Gert-Jan van der Velde

Nicola Zannone

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Robust Local Differential Privacy.

[BibT_eX]

[DOI]

Jasper Goseling

Proceedings of the IEEE International Symposium on Information Theory, 2021

2020

Data Sanitisation Protocols for the Privacy Funnel with Differential Privacy Guarantees.

[BibT_eX]

[DOI]

Haochen Tong

CoRR, 2020

The Privacy Funnel from the viewpoint of Local Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2020

Improving Frequency Estimation under Local Differential Privacy.

[BibT_eX]

[DOI]

Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020

Estimating Numerical Distributions under Local Differential Privacy.

[BibT_eX]

[DOI]

Tianhao Wang

Proceedings of the 2020 International Conference on Management of Data, 2020

Locally Differentially Private Frequency Estimation with Consistency.

[BibT_eX]

[DOI]

Tianhao Wang

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

2019

Four accuracy bounds and one estimator for frequency estimation under local differential privacy.

[BibT_eX]

[DOI]

CoRR, 2019

Information-theoretic metrics for Local Differential Privacy protocols.

[BibT_eX]

[DOI]

CoRR, 2019

Consistent and Accurate Frequency Oracles under Local Differential Privacy.

[BibT_eX]

[DOI]

Tianhao Wang