### 8 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.
- HCI-AS-2007-Kilic #problem #user interface
- “My Money in E-Purse” Searching Problems in Self Service User Interface (EK), pp. 58–66.
- FM-2006-SchellhornGHR #challenge #proving
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.
- FM-2005-BanachPJS #finite #sequence
- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
- FME-2002-CatanoH #java #specification #static analysis #using
- Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
- ASE-2001-JurjensW #protocol #testing
- Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.
- ML-1991-WisniewskiM #data-driven
- Is it a Pocket or a Purse? Tighly Coupled Theory and Data Driven Learing (EJW, DLM), pp. 564–568.