Zilverling

dr. M.A. Lopuhaä - Zwakenberg (Milan)

Universitair docent
EEMCS-CS-FMT
Zilverling 3078
m.a.lopuhaa@utwente.nl
+31534898491
Visitekaartje

Deze website is automatisch gegenereerd, mijn persoonlijke website bevindt zich hier.

Expertises

  • Computer Science

    • Attack
    • Differential Privacy
    • Side Channel Attack
    • Fault Tree
    • Utilities
    • Frequency Estimation
    • Security Properties
    • Algorithms

Organisaties

Publicaties

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

Onderzoeksprofielen

In de pers

Scan de QR-code of
Download vCard