default search action

combined dblp search
author search
venue search
publication search

ask others

Monika Maidl

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MaidlKZL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MaidlKZL21
Monika Maidl, Dirk Kröselberg, Tiange Zhao, Tobias Limmer:
System-specific risk rating of software vulnerabilities in industrial automation & control systems. ISSRE Workshops 2021: 327-332
2020
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/MaidlMSWWH20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/MaidlMSWWH20a
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: 158-183
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/MaidlMSWWH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/MaidlMSWWH20
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: 160-171

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/europlop/MaidlWZHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europlop/MaidlWZHW19
Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner:
Pattern-based modeling of cyber-physical systems for analyzing security. EuroPLoP 2019: 23:1-23:10
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MaidlKCB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MaidlKCB18
Monika Maidl, Dirk Kröselberg, Jochen Christ, Kristian Beckers:
A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443. ISSRE Workshops 2018: 42-47
2010
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/HartmannMOR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/HartmannMOR10
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: 68-83

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MaidlOHR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MaidlOHR08
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson:
Formal Security Analysis of Electronic Software Distribution Systems. SAFECOMP 2008: 415-428
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/dud/LaueMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dud/LaueMP07
Philip Laue, Monika Maidl, Jan Peters:
Zweckbindung in ämterübergreifenden Verwaltungsworkflows - Zugriffsschutz durch feingranulare Verschlüsselung auf XML-Basis. Datenschutz und Datensicherheit 31(11): 810-815 (2007)
[c6]
- view
- export record
  dblp key:
  - conf/mms/BecherLMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mms/BecherLMM07
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: 85-96
2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/epew/GilmoreHKM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epew/GilmoreHKM05
Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl:
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/SteelBM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SteelBM04
Graham Steel, Alan Bundy, Monika Maidl:
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. IJCAR 2004: 137-151
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/EsparzaM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/EsparzaM03
Javier Esparza, Monika Maidl:
Simple Representative Instantiations for Multicast Protocols. TACAS 2003: 128-143
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Maidl01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Maidl01
Monika Maidl:
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems. CAV 2001: 311-323
2000
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Maidl00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Maidl00
Monika Maidl:
Using model checking for system verification. Ludwig Maximilian University of Munich, Germany, 2000, pp. 1-204
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/Maidl00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/Maidl00
Monika Maidl:
The Common Fragment of CTL and LTL. FOCS 2000: 643-652

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.