default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMilan Lopuhaä-Zwakenberg
Person information
- affiliation: University of Twente, Enschede, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
Journal Articles
- 2026
[j7]Milan Lopuhaä-Zwakenberg
:
Correction: Fault Tree Reliability Analysis Via Squarefree Polynomials: Mathematical and Experimental Analysis. SN Comput. Sci. 7(4): 287 (2026)- 2025
- [j6]Milan Lopuhaä-Zwakenberg:
Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis. SN Comput. Sci. 6(8): 965 (2025) - [j5]Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Optimal spare management via statistical model checking: a case study in research reactors. Int. J. Softw. Tools Technol. Transf. 27(3): 361-376 (2025) - [j4]Wenrui Yu, Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Mads Græsbøll Christensen, Richard Heusdens:
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization. IEEE Trans. Inf. Forensics Secur. 20: 822-838 (2025) - 2024
- [j3]Milan Lopuhaä-Zwakenberg, Jasper Goseling:
Mechanisms for Robust Local Differential Privacy. Entropy 26(3): 233 (2024) - [j2]Qiongxiu Li, Jaron Skovsted Gundersen, Milan Lopuhaä-Zwakenberg, Richard Heusdens:
Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus. IEEE Trans. Inf. Forensics Secur. 19: 1780-1793 (2024) - 2023
- [j1]Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga:
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. IEEE Trans. Dependable Secur. Comput. 20(5): 4169-4187 (2023)
Conference and Workshop Papers
- 2026
- [c23]Benedikt Peterseim, Milan Lopuhaä-Zwakenberg:
Fixed-Parameter Tractable Inference for Discrete Probabilistic Programs, via String Diagram Algebraisation. LICS 2026: 76:1-76:26 - 2025
- [c22]Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg:
Attack-Defense Trees with Offensive and Defensive Attributes. DSN 2025: 358-370 - [c21]Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Fuzzy Fault Trees: the Fast and the Formal. QEST+FORMATS 2025: 256-274 - [c20]Yanni Dong, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
0-1 Laws for LTL and CTL over Random Transition Systems. SPIN 2025: 66-87 - 2024
- [c19]Milan Lopuhaä-Zwakenberg:
Attack Tree Metrics are Operad Algebras. CSF 2024: 665-679 - [c18]Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Wenrui Yu, Richard Heusdens:
On the Privacy Bound of Distributed Optimization and its Application in Federated Learning. EUSIPCO 2024: 2232-2236 - [c17]Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Fuzzy quantitative attack tree analysis. FASE 2024: 210-231 - [c16]Reza Soltani, Baver Ozceylan, Milan Lopuhaä-Zwakenberg, Christina Kolb, Gerwin Hoogsteen:
Safety and Security Dependencies for Gridshield. ISGT EUROPE 2024: 1-6 - [c15]Milan Lopuhaä-Zwakenberg:
Fault Tree Reliability Analysis via Squarefree Polynomials. MODELSWARD 2024: 39-49 - [c14]Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. SAFECOMP 2024: 218-232 - 2023
- [c13]Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Cost-Damage Analysis of Attack Trees. DSN 2023: 545-558 - [c12]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
sfPFL: A Probabilistic Logic for Fault Trees. FM 2023: 199-221 - [c11]Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. FMICS 2023: 205-223 - [c10]Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. SEFM 2023: 165-183 - [c9]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM 2023: 205-225 - 2022
- [c8]Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Richard Heusdens, Mads Græsbøll Christensen:
Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization. EUSIPCO 2022: 2166-2170 - [c7]Jasper Goseling, Milan Lopuhaä-Zwakenberg:
Robust Optimization for Local Differential Privacy. ISIT 2022: 1629-1634 - [c6]Milan Lopuhaä-Zwakenberg, Boris Skoric, Ninghui Li:
Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy. WPES@CCS 2022: 41-53 - 2021
- [c5]Milan Lopuhaä-Zwakenberg, Jasper Goseling:
Robust Local Differential Privacy. ISIT 2021: 557-562 - [c4]Milan Lopuhaä-Zwakenberg, Mina Alishahi, Jeroen Kivits, Jordi Klarenbeek, Gert-Jan van der Velde, Nicola Zannone:
Comparing Classifiers' Performance under Differential Privacy. SECRYPT 2021: 50-61 - 2020
- [c3]Tianhao Wang, Milan Lopuhaä-Zwakenberg, Zitao Li, Boris Skoric, Ninghui Li:
Locally Differentially Private Frequency Estimation with Consistency. NDSS 2020 - [c2]Zitao Li, Tianhao Wang, Milan Lopuhaä-Zwakenberg, Ninghui Li, Boris Skoric:
Estimating Numerical Distributions under Local Differential Privacy. SIGMOD Conference 2020: 621-635 - [c1]Milan Lopuhaä-Zwakenberg, Zitao Li, Boris Skoric, Ninghui Li:
Improving Frequency Estimation under Local Differential Privacy. WPES@CCS 2020: 123-135
Data and Artifacts
- 2024
- [d1]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde:
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic (experimental reproduction package). Zenodo, 2024
Informal and Other Publications
- 2026
- [i29]Benedikt Peterseim, Milan Lopuhaä-Zwakenberg:
Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation. CoRR abs/2604.25321 (2026) - [i28]Georgiana Caltais, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Actual causality in fault trees. CoRR abs/2607.01840 (2026) - [i27]Milan Lopuhaä-Zwakenberg:
Towards realistic large random models of labeled transition systems and their 0-1 laws. CoRR abs/2607.15029 (2026) - 2025
- [i26]Reza Soltani, Pablo Diale, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees. CoRR abs/2504.00988 (2025) - [i25]Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg:
Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix). CoRR abs/2504.12748 (2025) - [i24]Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies. CoRR abs/2506.23789 (2025) - [i23]Benedikt Peterseim, Milan Lopuhaä-Zwakenberg:
A Unified Compositional View of Attack Tree Metrics. CoRR abs/2511.14717 (2025) - 2024
- [i22]Milan Lopuhaä-Zwakenberg:
Attack tree metrics are operad algebras. CoRR abs/2401.10008 (2024) - [i21]Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Fuzzy quantitative attack tree analysis. CoRR abs/2401.12346 (2024) - [i20]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR abs/2401.16015 (2024) - [i19]Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Fuzzy Fault Trees Formalized. CoRR abs/2403.08843 (2024) - [i18]Wenrui Yu, Qiongxiu Li, Milan Lopuhaä-Zwakenberg, Mads Græsbøll Christensen, Richard Heusdens:
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization. CoRR abs/2407.09324 (2024) - [i17]Milan Lopuhaä-Zwakenberg:
Quantitative analysis of attack-fault trees via Markov decision processes. CoRR abs/2408.06914 (2024) - [i16]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde:
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic. CoRR abs/2410.06692 (2024) - 2023
- [i15]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
PFL: a Probabilistic Logic for Fault Trees. CoRR abs/2303.17314 (2023) - [i14]Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Cost-damage analysis of attack trees. CoRR abs/2304.05812 (2023) - [i13]Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga:
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR abs/2309.09231 (2023) - [i12]Milan Lopuhaä-Zwakenberg:
Fault tree reliability analysis via squarefree polynomials. CoRR abs/2312.05836 (2023) - [i11]Qiongxiu Li, Jaron Skovsted Gundersen, Milan Lopuhaä-Zwakenberg, Richard Heusdens:
Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus. CoRR abs/2312.07947 (2023) - 2022
- [i10]Jasper Goseling, Milan Lopuhaä-Zwakenberg:
Robust Optimization for Local Differential Privacy. CoRR abs/2205.05015 (2022) - [i9]Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga:
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. CoRR abs/2212.05358 (2022) - 2021
- [i8]Milan Lopuhaä-Zwakenberg, Jasper Goseling:
The Privacy-Utility Tradeoff of Robust Local Differential Privacy. CoRR abs/2101.09139 (2021) - [i7]Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Attack time analysis in dynamic attack trees via integer linear programming. CoRR abs/2111.05114 (2021) - 2020
- [i6]Milan Lopuhaä-Zwakenberg:
The Privacy Funnel from the viewpoint of Local Differential Privacy. CoRR abs/2002.01501 (2020) - [i5]Milan Lopuhaä-Zwakenberg, Haochen Tong, Boris Skoric:
Data Sanitisation Protocols for the Privacy Funnel with Differential Privacy Guarantees. CoRR abs/2008.13151 (2020) - 2019
- [i4]Tianhao Wang, Zitao Li, Ninghui Li, Milan Lopuhaä-Zwakenberg, Boris Skoric:
Consistent and Accurate Frequency Oracles under Local Differential Privacy. CoRR abs/1905.08320 (2019) - [i3]Milan Lopuhaä-Zwakenberg, Boris Skoric, Ninghui Li:
Information-theoretic metrics for Local Differential Privacy protocols. CoRR abs/1910.07826 (2019) - [i2]Milan Lopuhaä-Zwakenberg, Zitao Li, Boris Skoric, Ninghui Li:
Four accuracy bounds and one estimator for frequency estimation under local differential privacy. CoRR abs/1911.10499 (2019) - [i1]Zitao Li, Tianhao Wang, Milan Lopuhaä-Zwakenberg, Boris Skoric, Ninghui Li:
Estimating Numerical Distributions under Local Differential Privacy. CoRR abs/1912.01051 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-08-09 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
