Milan Lopuhaä-Zwakenberg

University of Twente — Netherlands

Computer Science · Physical Sciences

8h-index363citations75works1.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Privacy-Preserving Technologies in Data(25), Cryptography and Data Security(16), Network Security and Intrusion Detection(13), Information and Cyber Security(13), Advanced Malware Detection Techniques(7)

Publications75 total

How Hard Can It Be? Quantifying MITRE Attack Campaigns with Attack Trees and cATM Logic
ACM Transactions on Software Engineering and Methodology·2026· 1 citedOpen Access
Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis
SN Computer Science·2025Open Access
ATM: a Logic for Quantitative Security Properties on Attack Trees
Software & Systems Modeling·2025Open Access
0-1 Laws for LTL and CTL over Random Transition Systems
Lecture notes in computer science·2025
Fuzzy Fault Trees: the Fast and the Formal
Lecture notes in computer science·2025
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
2025
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
arXiv (Cornell University)·2025Open Access
Attack-Defense Trees with Offensive and Defensive Attributes
2025· 1 cited
Fuzzy Fault Trees: the Fast and the Formal
arXiv (Cornell University)·2025Open Access
Optimal spare management via statistical model checking: a case study in research reactors
International Journal on Software Tools for Technology Transfer·2025· 2 citedOpen Access
Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
arXiv (Cornell University)·2025Open Access
Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
arXiv (Cornell University)·2025Open Access
Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
2025· 1 citedOpen Access
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization
IEEE Transactions on Information Forensics and Security·2024· 7 citedOpen Access
Safety and Security Dependencies for Gridshield
2024· 1 cited
Integral models of reductive groups and integral Mumford–Tate groups
Annales Henri Lebesgue·2024Open Access
On the Privacy Bound of Distributed Optimization and its Application in Federated Learning
2024· 2 citedOpen Access
Quantitative analysis of attack-fault trees via Markov decision processes
arXiv (Cornell University)·2024Open Access
Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization
arXiv (Cornell University)·2024Open Access
Attack Tree Metrics are Operad Algebras
2024· 2 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Mariëlle Stoelinga(18), Boris Škorić(9), Zitao Li(7), Stefano M. Nicoletti(7), Reza Soltani(7), Ernst Moritz Hahn(6), Tianhao Wang(5), Ninghui Li(5), Jasper Goseling(5), Ninghui Li(4), Qiongxiu Li(4), Richard Heusdens(4), Matthias Volk(3), Leonardo Diamonte(3), Carlos E. Budde(2), Wenrui Yu(2), Mads Græsbøll Christensen(2), Mina Alishahi(2), Jeroen Kivits(2), Jordi Klarenbeek(2)