Martijn Oostdijk

Publication Activity (10 Years)

Years Active: 2000-2014
Publications (10 Years): 0

Top Topics

Internet Commerce

Social Network Sites

Image Authentication

Trust Relationships

Top Venues

Open Identity Summit

Publications

Bob Hulsebosch, Maarten Wegdam, Martijn Oostdijk, Joost van Dijk, Remco Poortinga van Wijnen
Making authentication stronger and more cost efficient with web of trust. Open Identity Summit (2014)
Bart van Delft, Martijn Oostdijk
A Security Analysis of OpenID. IDMAN (2010)
Martijn Oostdijk, Dirk-Jan van Dijk, Maarten Wegdam
Passports. SecureComm (2009)
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Crossing Borders: Security and Privacy Issues of the European e-Passport CoRR (2008)
Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM (2007)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers
Formal techniques in a remote voting system. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
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)
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)
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)
Sjouke Mauw, Martijn Oostdijk
Foundations of Attack Trees. ICISC (2005)
Bart Jacobs, Martijn Oostdijk, Martijn Warnier
Source code verification of a secure payment applet. J. Log. Algebraic Methods Program. 58 (1-2) (2004)
Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
Counting Votes with Formal Methods. AMAST (2004)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
Implementing a Formally Verifiable Security Protocol in Java Card. SPC (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
From Finite State Machines to Provably Correct Java Card Applets. SEC (2003)
Engelbert Hubbers, Martijn Oostdijk
Generating JML Specifications from UML State Diagrams. FDL (2003)
Martijn Oostdijk, Herman Geuvers
Proof by computation in the Coq system. Theor. Comput. Sci. 272 (1-2) (2002)
Olga Caprotti, Martijn Oostdijk
Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. J. Symb. Comput. 32 (1/2) (2001)
Olga Caprotti, Martijn Oostdijk
On Communicating Proofs in Interactive Mathematical Documents. AISC (2000)