BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Grandy:Holger

Contributed to:

FM 20082008
IFM 20072007
SEFM 20072007
FM 20062006
SEFM 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.