Dr. M.A. Lopuhaä - Zwakenberg | People Pages: Find employees & contact details

This website is automatically generated, my personal website can be found here.

Expertise

Computer Science
- Attack
- Differential Privacy
- Side Channel Attack
- Fault Tree
- Utilities
- Frequency Estimation
- Security Properties
- Algorithms

Organisations

Publications

2026

Correction: Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis (2026)SN Computer Science, 7(4). Article 287 (E-pub ahead of print/First online). Lopuhaä-Zwakenberg, M.https://doi.org/10.1007/s42979-026-04737-8

2025

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)In 2025 IEEE Annual Reliability and Maintainability Symposium - Europe: Reliability Foundations, RAMS-Europe 2025. IEEE. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1109/RAMS-Europe62094.2025.11274635Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis (2025)SN Computer Science, 6(8). Article 965. Lopuhaä-Zwakenberg, M.https://doi.org/10.1007/s42979-025-04450-y0-1 Laws for LTL and CTL over Random Transition Systems (2025)In Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings (pp. 66-87) (Lecture Notes in Computer Science; Vol. 15945 LNCS). Springer. Dong, Y., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-032-06847-7_4ATM: A Logic for Quantitative Security Properties on Attack Trees (2025)Software and systems modeling (E-pub ahead of print/First online). Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/s10270-025-01323-z

Research profiles

Affiliated study programs

Courses academic year 2025/2026

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Courses academic year 2024/2025

In the press

http://www.radioswammerdam.nl/category/2020-2021/ (16 maart) A radio interview, together with Arjen Versloot, on historical linguistics (in Dutch), on Radio Swammerdam
http://www.nieuwarchief.nl/serie5/pdf/naw5-2018-19-4-295.pdf An article about the Linguistic Olympiad (in Dutch) in Nieuw Archief voor Wiskunde

Address

University of Twente

Zilverling (building no. 11), room 3078
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location