Milan Lopuhaä-Zwakenberg

Mads Græsbøll Christensen

IEEE Trans. Inf. Forensics Secur., 2025

2024

Mechanisms for Robust Local Differential Privacy.

[BibT_eX]

[DOI]

Entropy, March, 2024

Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus.

[BibT_eX]

[DOI]

Jaron Skovsted Gundersen

IEEE Trans. Inf. Forensics Secur., 2024

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic.

[BibT_eX]

[DOI]

Fabio Massacci

Carlos E. Budde

CoRR, 2024

Quantitative analysis of attack-fault trees via Markov decision processes.

[BibT_eX]

[DOI]

CoRR, 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

Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics.

[BibT_eX]

[DOI]

Reza Soltani

Proceedings of the Computer Safety, Reliability, and Security, 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

On the Privacy Bound of Distributed Optimization and its Application in Federated Learning.

[BibT_eX]

[DOI]

Wenrui Yu

Proceedings of the 32nd European Signal Processing Conference, 2024

Attack Tree Metrics are Operad Algebras.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 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]

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]

Mads Græsbøll Christensen

Proceedings of the 30th European Signal Processing Conference, 2022

2021

The Privacy-Utility Tradeoff of Robust Local Differential Privacy.

[BibT_eX]

[DOI]

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]

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