|
Abstract : |
wallet system which I helped to design. The first, `Making Smartcard Systems Robust', appeared in the proceedings of Cardis 94 (now out of print): the second, `UEPS- A Second Generation Electronic Wallet', appeared in the proceedings of ESORICS 92 (Springer LNCS v 648 pp 411--418). This system has been fielded in a number of countries, including South Africa, Namibia and Russia. Its research interest stems a number of factors. Firstly, it was the first (and as far as I am aware is still the only) banking system whose design was verified using formal techniques; secondly, the chaining mechanisms used in the underlying transaction protocol prefigured much of the current work on cryptographic protocol robustness; and thirdly, it shows that even using symmetric cipher technology, it is possible to build a system with a strong degree of accountability, and which can give users a high degree of confidence that they will not be the victim of frauds by bank insiders., |
