Monika Maidl

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 5

Top Venues

ISSRE Workshops

ICSOFT

EuroPLoP

ICSOFT (Selected Papers)

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Monika Maidl, Dirk Kröselberg, Tiange Zhao, Tobias Limmer
System-specific risk rating of software vulnerabilities in industrial automation & control systems. ISSRE Workshops (2021)
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach. ICSOFT (Selected Papers) (2020)
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions. ICSOFT (2020)
Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner
Pattern-based modeling of cyber-physical systems for analyzing security. EuroPLoP (2019)
Monika Maidl, Dirk Kröselberg, Jochen Christ, Kristian Beckers
A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443. ISSRE Workshops (2018)
Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes. STM (2010)
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson
Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP (2008)
Silvio Becher, Philip Laue, Monika Maidl, Marko Modsching
Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers. MMS (2007)
Philip Laue, Monika Maidl, Jan Peters
Zweckbindung in ämterübergreifenden Verwaltungsworkflows - Zugriffsschutz durch feingranulare Verschlüsselung auf XML-Basis. Datenschutz und Datensicherheit 31 (11) (2007)
Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM (2005)
Graham Steel, Alan Bundy, Monika Maidl
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR (2004)
Javier Esparza, Monika Maidl
Simple Representative Instantiations for Multicast Protocols. TACAS (2003)
Monika Maidl
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems. CAV (2001)
Monika Maidl
The Common Fragment of CTL and LTL. FOCS (2000)

Monika Maidl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Monika Maidl