Martijn Oostdijk

According to our database, Martijn Oostdijk authored at least 17 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Making authentication stronger and more cost efficient with web of trust.

Bob Hulsebosch, Maarten Wegdam, Martijn Oostdijk, Joost van Dijk, Remco Poortinga van Wijnen

Proceedings of the Open Identity Summit 2014, November 4-6, 2014, Stuttgart, Germany, 2014

2010

A Security Analysis of OpenID.

Bart van Delft, Martijn Oostdijk

Proceedings of the Policies and Research in Identity Management, 2010

2009

User-Centric Identity Using <i>e</i>Passports.

Martijn Oostdijk, Dirk-Jan van Dijk, Maarten Wegdam

Proceedings of the Security and Privacy in Communication Networks, 2009

2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

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

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Crossing Borders: Security and Privacy Issues of the European e-Passport.

Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur

Proceedings of the Advances in Information and Computer Security, 2006

2005

On-the-Fly Formal Testing of a Smart Card Applet.

Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Foundations of Attack Trees.

Sjouke Mauw, Martijn Oostdijk

Proceedings of the Information Security and Cryptology, 2005

2004

Source code verification of a secure payment applet.

Bart Jacobs, Martijn Oostdijk, Martijn Warnier

J. Log. Algebraic Methods Program., 2004

Counting Votes with Formal Methods.

Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Implementing a Formally Verifiable Security Protocol in Java Card.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Proceedings of the Security in Pervasive Computing, 2003

From Finite State Machines to Provably Correct Java Card Applets.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

Generating JML Specifications from UML State Diagrams.

Engelbert Hubbers, Martijn Oostdijk

Proceedings of the Forum on specification and Design Languages, 2003

2002

Proof by computation in the Coq system.

Martijn Oostdijk, Herman Geuvers

Theor. Comput. Sci., 2002

2001

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles.

Olga Caprotti, Martijn Oostdijk

J. Symb. Comput., 2001

2000

On Communicating Proofs in Interactive Mathematical Documents.

Olga Caprotti, Martijn Oostdijk

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000