2008 |
10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Engelbert Hubbers,
Bart Jacobs,
Wolter Pieters:
RIES - Internet Voting in Action.
COMPSAC (1) 2005: 417-424 |
2004 |
5 | EE | Engelbert Hubbers,
Erik Poll:
Reasoning about Card Tears and Transactions in Java Card.
FASE 2004: 114-128 |
2003 |
4 | EE | Engelbert Hubbers:
Integrating Tools for Automatic Program Verification.
Ershov Memorial Conference 2003: 214-221 |
3 | EE | 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 | EE | Engelbert Hubbers,
Martijn Oostdijk,
Erik Poll:
Implementing a Formally Verifiable Security Protocol in Java Card.
SPC 2003: 213-226 |