Eduard De Jong
Sun Microsystems
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Eduard De Jong.
formal methods | 2001
Pieter H. Hartel; Michael Butler; Eduard De Jong; Mark Longley
A transacted memory that is implemented using EEPROM technology offers persistence, undoability and auditing. The transacted memory system is formally specified in Z, and refined in two steps to a prototype C implementation / SPIN model. Conclusions are offered both on the transacted memory system itself and on the development process involving multiple notations and tools.
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security | 2000
Pieter H. Hartel; Eduard De Jong
Java Card Technology has provided a huge step forward in programming smart cards: from assembler to using a high level Object Oriented language. However, the authors have found some differences between the current Java Card version (2.1) and main stream Java that may restrict the benefits of using Java achievable in smartcard programming. In particular, efforts towards evaluating Java Card implementations at a high level of assurance may be hampered by the presence of these differences as well as by the complexity of the Java Card VM and API. The goal of the present paper is to detail the differences from a programming and a modelling point of view.
Archive | 2004
Eduard De Jong
Archive | 2004
Eduard De Jong
Archive | 2004
Eduard De Jong
Archive | 2001
Eduard De Jong; Moshe Levy; Albert Y. Leung
Archive | 2007
Eduard De Jong; Aaron Cooley; Jon Bostrom
Archive | 2004
Eduard De Jong
Archive | 2001
Eduard De Jong; Moshe Levy; Albert Y. Leung
Archive | 2003
Eduard De Jong
