- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c11 |      | |
| 2009 | ||
| c10 | | Martijn Oostdijk, Dirk-Jan van Dijk, Maarten Wegdam: User-Centric Identity Using ePassports. SecureComm 2009: 296-310 |
| 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) |
| 2007 | ||
| c9 | | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557 |
| 2006 | ||
| j4 | | 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 | | |
| c5 |  | Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans: On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005: 565-576 |
| 2004 | ||
| j3 | | Bart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004) |
| 2003 | ||
| c4 | | Engelbert Hubbers, Martijn Oostdijk: Generating JML Specifications from UML State Diagrams. FDL 2003: 263-274 |
| c3 | | Engelbert Hubbers, Martijn Oostdijk, Erik Poll: From Finite State Machines to Provably Correct Java Card Applets. SEC 2003: 465-470 |
| c2 | | Engelbert Hubbers, Martijn Oostdijk, Erik Poll: Implementing a Formally Verifiable Security Protocol in Java Card. SPC 2003: 213-226 |
| 2002 | ||
| j2 | | Martijn Oostdijk, Herman Geuvers: Proof by computation in the Coq system. Theor. Comput. Sci. 272(1-2): 293-314 (2002) |
| 2001 | ||
| j1 | | Olga Caprotti, Martijn Oostdijk: Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. J. Symb. Comput. 32(1/2): 55-70 (2001) |
| 2000 | ||
| c1 | | Olga Caprotti, Martijn Oostdijk: On Communicating Proofs in Interactive Mathematical Documents. AISC 2000: 53-64 |
Colors in the list of coauthors
Last update Sat May 18 23:47:18 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page