Martijn Oostdijk

18 papers B 1C 2Misc 5Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2014 — conf
Making authentication stronger and more cost efficient with web of trust.
Open Identity Summit
Bob Hulsebosch, Maarten Wegdam, Martijn Oostdijk, Joost van Dijk, Remco Poortinga van Wijnen
2010 — conf
A Security Analysis of OpenID.
IDMAN
Bart van Delft, Martijn Oostdijk
2009 C conf
User-Centric Identity Using
SecureComm
Martijn Oostdijk, Dirk-Jan van Dijk, Maarten Wegdam
2008 J jnl
Crossing Borders: Security and Privacy Issues of the European e-Passport
CoRR
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
2007 B conf
Integrating Verification, Testing, and Learning for Cryptographic Protocols.
IFM
Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
2006 Misc conf
Crossing Borders: Security and Privacy Issues of the European e-Passport.
IWSEC
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
2006 J jnl
Formal techniques in a remote voting system.
ACM SIGSOFT Softw. Eng. Notes
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers
2006 — conf
The KOA Remote Voting System: A Summary of Work to Date.
TGC
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers
2005 Misc conf
Foundations of Attack Trees.
ICISC
Sjouke Mauw, Martijn Oostdijk
2005 Misc conf
On-the-Fly Formal Testing of a Smart Card Applet.
SEC
Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
2004 — conf
Counting Votes with Formal Methods.
AMAST
Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
2004 J jnl
Source code verification of a secure payment applet.
J. Log. Algebraic Methods Program.
Bart Jacobs, Martijn Oostdijk, Martijn Warnier
2003 Misc conf
From Finite State Machines to Provably Correct Java Card Applets.
SEC
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
2003 C conf
Generating JML Specifications from UML State Diagrams.
FDL
Engelbert Hubbers, Martijn Oostdijk
2003 — conf
Implementing a Formally Verifiable Security Protocol in Java Card.
SPC
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
2002 J jnl
Proof by computation in the Coq system.
Theor. Comput. Sci.
Martijn Oostdijk, Herman Geuvers
2001 J jnl
Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles.
J. Symb. Comput.
Olga Caprotti, Martijn Oostdijk
2000 Misc conf
On Communicating Proofs in Interactive Mathematical Documents.
AISC
Olga Caprotti, Martijn Oostdijk