Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2007 | 2005 | 2002 | 2001 | 1997 | 1996 | 1994
Number of items: 10.

2007

Jong, Eduard de and Hartel, Pieter H. (2007) Method and apparatus for deployment of high integrity software using static procedure return addresses. Patent.

2005

Jong, Eduard de and Hartel, Pieter and Peyret, Patrice and Cattaneo, Peter (2005) Java Card: an analysis of the most successful smart card operating system to date. [Report]

2002

Poll, Erik and Hartel, Pieter and Jong, Eduard de (2002) A Java Reference Model of Transacted Memory for Smart Cards. In: Fifth Smart Card Research and Advanced Application Conference, CARDIS 2002, November 21-22, 2002, San Jose, CA (pp. pp. 75-86).

Poll, Erik and Hartel, Pieter and Jong, Eduard de (2002) A Java Reference Model of Transacted Memory for Smart Cards. [Report]

2001

Hartel, Pieter H. and Butler, Michael J. and Jong, Eduard de and Longley, Mark (2001) Transacted Memory for Smart Cards. In: International Symposium of Formal Methods Europe, FME 2001, March 12–16, 2001, Berlin, Germany (pp. pp. 478-499).

1997

Alberda, Marjan I. and Hartel, Pieter H. and Jong, Eduard K. de (1997) Using formal methods to cultivate trust in smart card operating systems. Future Generation Computer Systems, 13 (1). pp. 39-54. ISSN 0167-739X

Butler, Michael and Hartel, Pieter and Longley, Mark and Jong, Eduard de (1997) Applying Formal Methods to the Design of Smart Card Software. [Report]

1996

Glaser, Hugh and Hartel, Pieter H. and Jong, Eduard K. de (1996) Structuring and Visualising an IC-card Security Standard. In: Second International Conference on Smart Card Research and Advanced Applications, CARDIS, September 16-18, 1996, Amsterdam, The Netherlands (pp. pp. 89-110).

Hartel, Pieter H. and Jong, Eduard K. de (1996) Smart Cards and Card Operating Systems. [Report]

1994

Hartel, Pieter H. and Jong, Eduard K. de (1994) Towards testability in smart card operating system design. In: First Smart Card Research and Advanced Application Conference, CARDIS 1994, Lille, France (pp. pp. 73-88).

This list was generated on Fri Dec 19 05:22:59 2014 CET.