Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own involvement in the...
Abstract. This paper discusses an ambiguity in Sun’s specification of the Java Card TM platform, which we noticed in the course of developing the precise formal description of the Java Card...
Crossing Borders: Security and Privacy Issues of the European e-Passport (2008)
Hoepman, Jaap-Henk, Hubbers, Engelbert, Jacobs, Bart, Oostdijk, Martijn, Schreur, Ronny Wichers
The first generation of European e-passports will be issued in 2006. We discuss how borders are crossed regarding the security and privacy erosion of the proposed schemes, and show which borders need...
Engelbert Hubbers, Wojciech Mostowski, Erik Poll
Abstract. This paper reports on investigations into the JAVA CARD transaction mechanism, especially on the interaction with so-called nonatomic methods in the JAVA CARD API. This work started with...
Crossing borders: Security and privacy issues of the european e-passport (2006)
Jaap-henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Abstract. The first generation of European e-passports will be issued in 2006. We discuss how borders are crossed regarding the security and privacy erosion of the proposed schemes, and show which...
Crossing borders: Security and privacy issues of the european e-passport (2006)
Jaap-henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Abstract. The first generation of European e-passports will be issued in 2006. We discuss how borders are crossed regarding the security and privacy erosion of the proposed schemes, and show which...
Engelbert Hubbers, Wojciech Mostowski, Erik Poll
Abstract. This paper reports on investigations into the JAVA CARD transaction mechanism, especially on the interaction with so-called nonatomic methods in the JAVA CARD API. This work started with...
Crossing borders: Security and privacy issues of the european e-passport (2006)
Jaap-henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Abstract. The first generation of European e-passports will be issued in 2006. We discuss how borders are crossed regarding the security and privacy erosion of the proposed schemes, and show which...
RIES: Internet voting in action (2005)
Engelbert Hubbers, Bart Jacobs, Wolter Pieters
Abstract. RIES stands for Rijnland Internet Election System. It is an online voting system that was developed by one of the Dutch local authorities on water management. The system has been used twice...
RIES: Internet voting in action (2005)
Engelbert Hubbers, Bart Jacobs, Wolter Pieters
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In this paper we describe...
From finite state machines to provably correct java card applets (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state machines. The formal...
Reasoning about Card Tears and Transactions in Java Card (2003)
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPROM and RAM,...
Reasoning about Card Tears and Transactions in Java Card (2003)
E. Poll, Engelbert Hubbers, Erik Poll
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPROM and RAM,...
Implementing a Formally Verifiable Security Protocol in Java Card (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
This paper describes a case study in refining an abstract security protocol description down to a concrete implementation on a Java Card smart card. The aim is to consider the decisions that have to...
Reasoning about Card Tears and Transactions in Java Card (2003)
Abstract. The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPROM and...
and Hanne Riis Nielson. 2-level -lifting (1988)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, ...
Abstract. Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand 4 (KOA) system. KOA is a Free Software, remote...