Milan Lopuhaä-Zwakenberg

55 papers A* 1A 3B 7C 3Journal 33Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correction: Fault Tree Reliability Analysis Via Squarefree Polynomials: Mathematical and Experimental Analysis.
SN Comput. Sci.
Milan Lopuhaä-Zwakenberg
2025 — conf
0-1 Laws for LTL and CTL over Random Transition Systems.
SPIN
Yanni Dong, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 J jnl
A Unified Compositional View of Attack Tree Metrics.
CoRR
Benedikt Peterseim, Milan Lopuhaä-Zwakenberg
2025 J jnl
Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix).
CoRR
Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg
2025 A conf
Attack-Defense Trees with Offensive and Defensive Attributes.
DSN
Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg
2025 J jnl
Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis.
SN Comput. Sci.
Milan Lopuhaä-Zwakenberg
2025 — conf
Fuzzy Fault Trees: the Fast and the Formal.
QEST+FORMATS
Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 J jnl
Optimal spare management via statistical model checking: a case study in research reactors.
Int. J. Softw. Tools Technol. Transf.
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 J jnl
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization.
IEEE Trans. Inf. Forensics Secur.
Wenrui Yu, Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Mads Græsbøll Christensen, Richard Heusdens
2025 J jnl
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies.
CoRR
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025 J jnl
Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees.
CoRR
Reza Soltani, Pablo Diale, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024 J jnl
Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus.
IEEE Trans. Inf. Forensics Secur.
Qiongxiu Li, Jaron Skovsted Gundersen, Milan Lopuhaä-Zwakenberg, Richard Heusdens
2024 A conf
Attack Tree Metrics are Operad Algebras.
CSF
Milan Lopuhaä-Zwakenberg
2024 J jnl
Attack tree metrics are operad algebras.
CoRR
Milan Lopuhaä-Zwakenberg
2024 C conf
Fault Tree Reliability Analysis via Squarefree Polynomials.
MODELSWARD
Milan Lopuhaä-Zwakenberg
2024 J jnl
Fuzzy Fault Trees Formalized.
CoRR
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024 B conf
Fuzzy quantitative attack tree analysis.
FASE
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024 J jnl
Fuzzy quantitative attack tree analysis.
CoRR
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024 J jnl
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde
2024 J jnl
Mechanisms for Robust Local Differential Privacy.
Entropy
Milan Lopuhaä-Zwakenberg, Jasper Goseling
2024 — conf
On the Privacy Bound of Distributed Optimization and its Application in Federated Learning.
EUSIPCO
Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Wenrui Yu, Richard Heusdens
2024 J jnl
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization.
CoRR
Wenrui Yu, Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Mads Græsbøll Christensen, Richard Heusdens
2024 J jnl
Quantitative analysis of attack-fault trees via Markov decision processes.
CoRR
Milan Lopuhaä-Zwakenberg
2024 J jnl
Querying Fault and Attack Trees: Property Specification on a Water Network.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2024 — conf
Safety and Security Dependencies for Gridshield.
ISGT EUROPE
Reza Soltani, Baver Ozceylan, Milan Lopuhaä-Zwakenberg, Christina Kolb, Gerwin Hoogsteen
2024 B conf
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics.
SAFECOMP
Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 J jnl
ATM: a Logic for Quantitative Security Properties on Attack Trees.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 J jnl
Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus.
CoRR
Qiongxiu Li, Jaron Skovsted Gundersen, Milan Lopuhaä-Zwakenberg, Richard Heusdens
2023 B conf
Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming.
SEFM
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 A conf
Cost-Damage Analysis of Attack Trees.
DSN
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 J jnl
Cost-damage analysis of attack trees.
CoRR
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 J jnl
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis.
IEEE Trans. Dependable Secur. Comput.
Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
2023 J jnl
Fault tree reliability analysis via squarefree polynomials.
CoRR
Milan Lopuhaä-Zwakenberg
2023 C conf
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.
FMICS
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023 J jnl
PFL: a Probabilistic Logic for Fault Trees.
CoRR
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 B conf
sfATM: A Logic for Quantitative Security Properties on Attack Trees.
SEFM
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023 B conf
sfPFL: A Probabilistic Logic for Fault Trees.
FM
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2022 J jnl
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis.
CoRR
Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
2022 — conf
Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy.
WPES@CCS
Milan Lopuhaä-Zwakenberg, Boris Skoric, Ninghui Li
2022 B conf
Robust Optimization for Local Differential Privacy.
ISIT
Jasper Goseling, Milan Lopuhaä-Zwakenberg
2022 J jnl
Robust Optimization for Local Differential Privacy.
CoRR
Jasper Goseling, Milan Lopuhaä-Zwakenberg
2022 — conf
Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization.
EUSIPCO
Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Richard Heusdens, Mads Græsbøll Christensen
2021 J jnl
Attack time analysis in dynamic attack trees via integer linear programming.
CoRR
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2021 C conf
Comparing Classifiers' Performance under Differential Privacy.
SECRYPT
Milan Lopuhaä-Zwakenberg, Mina Alishahi, Jeroen Kivits, Jordi Klarenbeek, Gert-Jan van der Velde, Nicola Zannone
2021 B conf
Robust Local Differential Privacy.
ISIT
Milan Lopuhaä-Zwakenberg, Jasper Goseling
2021 J jnl
The Privacy-Utility Tradeoff of Robust Local Differential Privacy.
CoRR
Milan Lopuhaä-Zwakenberg, Jasper Goseling
2020 J jnl
Data Sanitisation Protocols for the Privacy Funnel with Differential Privacy Guarantees.
CoRR
Milan Lopuhaä-Zwakenberg, Haochen Tong, Boris Skoric
2020 — conf
Estimating Numerical Distributions under Local Differential Privacy.
SIGMOD Conference
Zitao Li, Tianhao Wang, Milan Lopuhaä-Zwakenberg, Ninghui Li, Boris Skoric
2020 — conf
Improving Frequency Estimation under Local Differential Privacy.
WPES@CCS
Milan Lopuhaä-Zwakenberg, Zitao Li, Boris Skoric, Ninghui Li
2020 A* conf
Locally Differentially Private Frequency Estimation with Consistency.
NDSS
Tianhao Wang, Milan Lopuhaä-Zwakenberg, Zitao Li, Boris Skoric, Ninghui Li
2020 J jnl
The Privacy Funnel from the viewpoint of Local Differential Privacy.
CoRR
Milan Lopuhaä-Zwakenberg
2019 J jnl
Consistent and Accurate Frequency Oracles under Local Differential Privacy.
CoRR
Tianhao Wang, Zitao Li, Ninghui Li, Milan Lopuhaä-Zwakenberg, Boris Skoric
2019 J jnl
Estimating Numerical Distributions under Local Differential Privacy.
CoRR
Zitao Li, Tianhao Wang, Milan Lopuhaä-Zwakenberg, Boris Skoric, Ninghui Li
2019 J jnl
Four accuracy bounds and one estimator for frequency estimation under local differential privacy.
CoRR
Milan Lopuhaä-Zwakenberg, Zitao Li, Boris Skoric, Ninghui Li
2019 J jnl
Information-theoretic metrics for Local Differential Privacy protocols.
CoRR
Milan Lopuhaä-Zwakenberg, Boris Skoric, Ninghui Li