 | 2009 |
|---|
| 12 |       | Nina Moebius,
Kurt Stenzel,
Holger Grandy,
Wolfgang Reif:
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications.
ARES 2009: 841-846 |
| 11 | | Nina Moebius,
Kurt Stenzel,
Holger Grandy,
Wolfgang Reif:
Model-Driven Code Generation for Secure Smart Card Applications.
Australian Software Engineering Conference 2009: 44-53 |
| 2008 |
|---|
| 10 | | Kurt Stenzel,
Holger Grandy,
Wolfgang Reif:
Verification of Java Programs with Generics.
AMAST 2008: 315-329 |
| 9 | | 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 | | 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 | | Holger Grandy,
Kurt Stenzel,
Wolfgang Reif:
A Refinement Method for Java Programs.
FMOODS 2007: 221-235 |
| 6 | | Dominik Haneberg,
Holger Grandy,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Smart Card Applications: An ASM Approach.
IFM 2007: 313-332 |
| 5 | | Holger Grandy,
Robert Bertossi,
Kurt Stenzel,
Wolfgang Reif:
ASN1-light: A Verified Message Encoding for Security Protocols.
SEFM 2007: 195-204 |
| 2006 |
|---|
| 4 | | Holger Grandy,
Dominik Haneberg,
Wolfgang Reif,
Kurt Stenzel:
Developing Provable Secure M-Commerce Applications.
ETRICS 2006: 115-129 |
| 3 | | Gerhard Schellhorn,
Holger Grandy,
Dominik Haneberg,
Wolfgang Reif:
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.
FM 2006: 16-31 |
| 2005 |
|---|
| 2 | | Dominik Haneberg,
Holger Grandy,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Security Protocols: An ASM Approach.
Abstract State Machines 2005: 247-262 |
| 1 | | Holger Grandy,
Kurt Stenzel,
Wolfgang Reif:
Object Oriented Verification Kernels for Secure Java Applications.
SEFM 2005: 170-179 |
