| 2008 |
|---|
| 10 | EE | Kurt Stenzel,
Holger Grandy,
Wolfgang Reif:
Verification of Java Programs with Generics.
AMAST 2008: 315-329 |
| 9 | EE | Holger Grandy,
Markus Bischof,
Kurt Stenzel,
Gerhard Schellhorn,
Wolfgang Reif:
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
FM 2008: 165-180 |
| 8 | EE | Dominik Haneberg,
Gerhard Schellhorn,
Holger Grandy,
Wolfgang Reif:
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
Formal Asp. Comput. 20(1): 41-59 (2008) |
| 2007 |
|---|
| 7 | EE | Holger Grandy,
Kurt Stenzel,
Wolfgang Reif:
A Refinement Method for Java Programs.
FMOODS 2007: 221-235 |
| 6 | EE | Dominik Haneberg,
Holger Grandy,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Smart Card Applications: An ASM Approach.
IFM 2007: 313-332 |
| 5 | EE | Holger Grandy,
Robert Bertossi,
Kurt Stenzel,
Wolfgang Reif:
ASN1-light: A Verified Message Encoding for Security Protocols.
SEFM 2007: 195-204 |
| 2006 |
|---|
| 4 | EE | Holger Grandy,
Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
Developing Provable Secure M-Commerce Applications.
ETRICS 2006: 115-129 |
| 3 | EE | Gerhard Schellhorn,
Holger Grandy,
Dominik Haneberg,
Wolfgang Reif:
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
FM 2006: 16-31 |
| 2005 |
|---|
| 2 | EE | Dominik Haneberg,
Holger Grandy,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Security Protocols: An ASM Approach.
Abstract State Machines 2005: 247-262 |
| 1 | EE | Holger Grandy,
Kurt Stenzel,
Wolfgang Reif:
Object Oriented Verification Kernels for Secure Java Applications.
SEFM 2005: 170-179 |
