Travelled to:1 × Canada
1 × Finland
1 × Germany
2 × United Kingdom
Collaborated with:W.Reif K.Stenzel G.Schellhorn D.Haneberg R.Bertossi M.Bischof
Talks about:verifi (3) secur (3) protocol (2) electron (2) mondex (2) applic (2) verif (2) purs (2) challeng (1) approach (1)
Person: Holger Grandy
DBLP: Grandy:Holger
Contributed to:
2008
2007
200720062005Wrote 5 papers:
- FM-2008-GrandyBSSR #protocol #security #verification
- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code (HG, MB, KS, GS, WR), pp. 165–180.
- IFM-2007-HanebergGRS #approach #smarttech #verification
- Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.
- SEFM-2007-GrandyBSR #encoding #named #protocol #security
- ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
- FM-2006-SchellhornGHR #challenge #proving
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.
- SEFM-2005-GrandySR #java #kernel #object-oriented #verification
- Object Oriented Verification Kernels for Secure Java Applications (HG, KS, WR), pp. 170–179.