 | 2008 |
|---|
| 10 |       | Jaap-Henk Hoepman,
Engelbert Hubbers,
Bart Jacobs,
Martijn Oostdijk,
Ronny Wichers Schreur:
Crossing Borders: Security and Privacy Issues of the European e-Passport
CoRR abs/0801.3930: (2008) |
| 2006 |
|---|
| 9 | | Jaap-Henk Hoepman,
Engelbert Hubbers,
Bart Jacobs,
Martijn Oostdijk,
Ronny Wichers Schreur:
Crossing Borders: Security and Privacy Issues of the European e-Passport.
IWSEC 2006: 152-167 |
| 8 | | Joseph R. Kiniry,
Alan E. Morkan,
Dermot Cochran,
Fintan Fairmichael,
Patrice Chalin,
Martijn Oostdijk,
Engelbert Hubbers:
The KOA Remote Voting System: A Summary of Work to Date.
TGC 2006: 244-262 |
| 7 | | Joseph R. Kiniry,
Alan E. Morkan,
Dermot Cochran,
Martijn Oostdijk,
Engelbert Hubbers:
Formal techniques in a remote voting system.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 2005 |
|---|
| 6 | | Engelbert Hubbers,
Bart Jacobs,
Wolter Pieters:
RIES - Internet Voting in Action.
COMPSAC (1) 2005: 417-424 |
| 2004 |
|---|
| 5 | | Engelbert Hubbers,
Erik Poll:
Reasoning about Card Tears and Transactions in Java Card.
FASE 2004: 114-128 |
| 2003 |
|---|
| 4 | | Engelbert Hubbers:
Integrating Tools for Automatic Program Verification.
Ershov Memorial Conference 2003: 214-221 |
| 3 | | Engelbert Hubbers,
Martijn Oostdijk:
Generating JML Specifications from UML State Diagrams.
FDL 2003: 263-274 |
| 2 |  | Engelbert Hubbers,
Martijn Oostdijk,
Erik Poll:
From Finite State Machines to Provably Correct Java Card Applets.
SEC 2003: 465-470 |
| 1 | | Engelbert Hubbers,
Martijn Oostdijk,
Erik Poll:
Implementing a Formally Verifiable Security Protocol in Java Card.
SPC 2003: 213-226 |
