References

1

M. Abadi, M. Burrows, C. Kaufman, and B. Lampson. Authentication and delegation with smart-cards. Technical Report 67, DEC Systems Research Center, October 1990.

2

Ross Anderson and Markus Kuhn. Tamper resistance -- a cautionary note. In Proceedings of The Second USENIX Workshop on Electronic Commerce, Oakland, CA, November 1996.

3

Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, and Michael Waidner. The ESPRIT project CAFE -- high security digital payment systems. In Dieter Gollmann, editor, Computer Security -- ESORICS 94, Third European Symposium on Research in Computer Security, number 875 in Lecture Notes in Computer Science, Brighton, United Kingdom, November 1994. Springer-Verlag. ISBN 3-540-58618-0.

4

Dan Boneh, Richard A. DeMillo, and Richard J. Lipton. Cryptanalysis in the presence of hardware faults. Personal Communication, September 1996.

5

Stefan Brands. An efficient off-line electronic cash system based on the representation problem. Technical Report CS-R9323, Centrum voor Wiskunde en Informatica, 1993.

6

E. Brickell, P. Gemmell, and D. Kravitz. Trustee-based tracing extensions to anonymous cash and the making of anonymous change. In Proceedings of the Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 457-466, 1995.

7

David Chaum. Security without identification: Transaction systems to make big brother obsolete. Communications of the ACM, 28(10):1030-1044, October 1985.

8

Europay International, MasterCard, and Visa. Integrated circuit card specification for payment systems, October 1994.

9

P. Kocher. Timing attacks on implementations of diffie-hellman, rsa, dss, and other systems. In Advances in Cryptology: Crypto '96 Proceedings, Lecture Notes in Computer Science. Springer-Verlag, 1996.

10

Mastercard launches development of smart card platform. Press Release, July 20, 1994.

11

U. S. National Institute of Standards and Technology. Federal information processing standards publication 140-1: Security requirements for cryptographic modules, January 1994.

12

Visa to develop and test prototype chip technology. Press Release, November 8, 1994.

13

Bennet Yee and Doug Tygar. Secure coprocessors in electronic commerce applications. In Proceedings of The First USENIX Workshop on Electronic Commerce, New York, New York, July 1995.

14

Bennet S. Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, 1994.