| 2008 | ||
|---|---|---|
| i1 | 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 | ||
| j1 | 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) | |
| c8 | 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 | |
| c7 | 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 | |
| 2005 | ||
| c6 | Engelbert Hubbers, Bart Jacobs, Wolter Pieters: RIES - Internet Voting in Action. COMPSAC (1) 2005: 417-424 | |
| 2004 | ||
| c5 | ||
| 2003 | ||
| c4 | Engelbert Hubbers: Integrating Tools for Automatic Program Verification. Ershov Memorial Conference 2003: 214-221 | |
| c3 | Engelbert Hubbers, Martijn Oostdijk: Generating JML Specifications from UML State Diagrams. FDL 2003: 263-274 | |
| c2 | Engelbert Hubbers, Martijn Oostdijk, Erik Poll: From Finite State Machines to Provably Correct Java Card Applets. SEC 2003: 465-470 | |
| c1 | Engelbert Hubbers, Martijn Oostdijk, Erik Poll: Implementing a Formally Verifiable Security Protocol in Java Card. SPC 2003: 213-226 | |
Data released under the ODC-BY 1.0 license — See also our legal information page