| 2008 |
|---|
| 7 | EE | 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 | EE | 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 | EE | Graham Steel,
Alan Bundy,
Monika Maidl:
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.
IJCAR 2004: 137-151 |
| 2003 |
|---|
| 3 | EE | Javier Esparza,
Monika Maidl:
Simple Representative Instantiations for Multicast Protocols.
TACAS 2003: 128-143 |
| 2001 |
|---|
| 2 | EE | 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 |
