Follow
Martijn Oostdijk
Martijn Oostdijk
InnoValor
Verified email at innovalor.nl
Title
Cited by
Cited by
Year
Foundations of attack trees
S Mauw, M Oostdijk
Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006
6332006
Crossing borders: Security and privacy issues of the european e-passport
JH Hoepman, E Hubbers, B Jacobs, M Oostdijk, RW Schreur
Advances in Information and Computer Security: First International Workshop …, 2006
1662006
A security analysis of OpenID
B Van Delft, M Oostdijk
Policies and Research in Identity Management: Second IFIP WG 11.6 Working …, 2010
502010
Secure application programming in the presence of side channel attacks
M Witteman, M Oostdijk
RSA conference 2008, 2008
442008
Implementing a formally verifiable security protocol in Java Card
E Hubbers, M Oostdijk, E Poll
Security in Pervasive Computing: First International Conference, Boppard …, 2004
402004
Formal and efficient primality proofs by use of computer algebra oracles
O Caprotti, M Oostdijk
Journal of Symbolic Computation 32 (1-2), 55-70, 2001
342001
The KOA remote voting system: A summary of work to date
JR Kiniry, AE Morkan, D Cochran, F Fairmichael, P Chalin, M Oostdijk, ...
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007
312007
From finite state machines to provably correct java card applets
E Hubbers, M Oostdijk, E Poll
Security and Privacy in the Age of Uncertainty: IFIP TC11 18 th …, 2003
262003
On-the-fly formal testing of a smart card applet
A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans
Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20 th …, 2005
202005
Source code verification of a secure payment applet
B Jacobs, M Oostdijk, M Warnier
The Journal of Logic and Algebraic Programming 58 (1-2), 107-120, 2004
202004
Generating JML Specifications from UML State Diagrams.
E Hubbers, M Oostdijk
FDL, 263-274, 2003
162003
Proof by computation in the Coq system
M Oostdijk, H Geuvers
Theoretical Computer Science 272 (1-2), 293-314, 2002
162002
On communicating proofs in interactive mathematical documents
O Caprotti, M Oostdijk
Artificial Intelligence and Symbolic Computation: International Conference …, 2001
142001
Trust, security, and privacy for the advanced metering infrastructure
G Lenzini, M Oostdijk, W Teeuw, B Hulsebosch, M Wegdam
122009
Integrating verification, testing, and learning for cryptographic protocols
M Oostdijk, V Rusu, J Tretmans, RG de Vries, TAC Willemse
IFM 4591, 538-557, 2007
112007
How to formally and efficiently prove prime (2999)
O Caprotti, M Oostdijk
Symbolic Computation and Automated Reasoning, 114-125, 2001
112001
Counting votes with formal methods
B Jacobs
Berlin: Springer, Berlin, 2004
102004
Electronic voting system
B Jacobs, M Oostdijk
US Patent App. 10/234,032, 2003
102003
Provisioning scenarios in identity federations
M Oostdijk, B Hulsebosch, N van Dijk, R van Rijswijk, H Zandbelt
GigaPort3 deliverable EDS-4, 2010
82010
Certified and portable mathematical documents from formal contexts
O Caprotti, JH Geuvers, MD Oostdijk
Buchberger, Bruno; Caprotti, Olga (ed.), MKM'2001: Electronic Proceedings of …, 2001
82001
The system can't perform the operation now. Try again later.
Articles 1–20