 | 2008 |
| 7 |  | Monika Maidl,
David von Oheimb,
Peter Hartmann,
Richard Robinson:
Formal Security Analysis of Electronic Software Distribution Systems.
SAFECOMP 2008: 415-428 |
| 2007 |
| 6 |  | 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 |
| 5 |  | Stephen Gilmore,
Valentin Haenel,
Leïla Kloul,
Monika Maidl:
Choreographing Security and Performance Analysis for Web Services.
EPEW/WS-FM 2005: 200-214 |
| 2004 |
| 4 |  | Graham Steel,
Alan Bundy,
Monika Maidl:
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.
IJCAR 2004: 137-151 |
| 2003 |
| 3 |  | Javier Esparza,
Monika Maidl:
Simple Representative Instantiations for Multicast Protocols.
TACAS 2003: 128-143 |
| 2001 |
| 2 |  | Monika Maidl:
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems.
CAV 2001: 311-323 |
| 2000 |
| 1 |  | Monika Maidl:
The Common Fragment of CTL and LTL.
FOCS 2000: 643-652 |