On Communicating Proofs in Interactive Mathematical Documents. - Olga Caprotti; Martijn Oostdijk (AISC, 2000)

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. - Olga Caprotti; Martijn Oostdijk (J. Symb. Comput., 2001)

Proof by computation in the Coq system. - Martijn Oostdijk; Herman Geuvers (Theor. Comput. Sci., 2002)

Generating JML Specifications from UML State Diagrams. - Engelbert Hubbers; Martijn Oostdijk (FDL, 2003)

From Finite State Machines to Provably Correct Java Card Applets. - Engelbert Hubbers; Martijn Oostdijk; Erik Poll (SEC, 2003)

Implementing a Formally Verifiable Security Protocol in Java Card. - Engelbert Hubbers; Martijn Oostdijk; Erik Poll (SPC, 2003)

Counting Votes with Formal Methods. - Bart Jacobs 001; Engelbert Hubbers; Joseph Kiniry; Martijn Oostdijk (AMAST, 2004)

Source code verification of a secure payment applet. - Bart Jacobs 001; Martijn Oostdijk; Martijn Warnier (J. Log. Algebraic Methods Program., 2004)

Foundations of Attack Trees. - Sjouke Mauw; Martijn Oostdijk (ICISC, 2005)

On-the-Fly Formal Testing of a Smart Card Applet. - Arjen van Weelden; Martijn Oostdijk; Lars Frantzen; Pieter W. M. Koopman; Jan Tretmans (SEC, 2005)

Crossing Borders: Security and Privacy Issues of the European e-Passport. - Jaap-Henk Hoepman; Engelbert Hubbers; Bart Jacobs 001; Martijn Oostdijk; Ronny Wichers Schreur (IWSEC, 2006)

The KOA Remote Voting System: A Summary of Work to Date. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Fintan Fairmichael; Patrice Chalin; Martijn Oostdijk; Engelbert Hubbers (TGC, 2006)

Formal techniques in a remote voting system. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Martijn Oostdijk; Engelbert Hubbers (ACM SIGSOFT Softw. Eng. Notes, 2006)

Integrating Verification, Testing, and Learning for Cryptographic Protocols. - Martijn Oostdijk; Vlad Rusu; Jan Tretmans; René G. de Vries; Tim A. C. Willemse (IFM, 2007)

User-Centric Identity Using ePassports. - Martijn Oostdijk; Dirk-Jan van Dijk; Maarten Wegdam (SecureComm, 2009)

A Security Analysis of OpenID. - Bart van Delft; Martijn Oostdijk (IDMAN, 2010)

Making authentication stronger and more cost efficient with web of trust. - Bob Hulsebosch; Maarten Wegdam; Martijn Oostdijk; Joost van Dijk; Remco Poortinga van Wijnen (Open Identity Summit, 2014)