4 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-KongOF #algebra #analysis #formal method- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.
SEFM-2007-SchmittT #case study #verification- Verifying the Mondex Case Study (PHS, IT), pp. 47–58.
- FM-2006-SchellhornGHR #challenge #proving
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.
