- CSB - MetaPress - Google - Bing - Yahoo
 | 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