Martijn Oostdijk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2000–2009
Best venue rank
Unranked
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SecureComm | User-Centric Identity Using | Martijn Oostdijk, Dirk-Jan van Dijk, Maarten Wegdam |
| 2007 | IFM | Integrating Verification, Testing, and Learning for Cryptographic Protocols. | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, Ren G. de Vries, Tim A. C. Willemse |
| 2006 | IWSEC | Crossing Borders: Security and Privacy Issues of the European e-Passport. | Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur |
| 2005 | ICISC | Foundations of Attack Trees. | Sjouke Mauw, Martijn Oostdijk |
| 2005 | SEC | On-the-Fly Formal Testing of a Smart Card Applet. | Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans |
| 2003 | FDL | Generating JML Specifications from UML State Diagrams. | Engelbert Hubbers, Martijn Oostdijk |
| 2003 | SEC | From Finite State Machines to Provably Correct Java Card Applets. | Engelbert Hubbers, Martijn Oostdijk, Erik Poll |
| 2000 | AISC | On Communicating Proofs in Interactive Mathematical Documents. | Olga Caprotti, Martijn Oostdijk |