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
6892006
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
1642006
Secure application programming in the presence of side channel attacks
M Witteman, M Oostdijk
RSA conference 2008, 2008
542008
A security analysis of OpenID
B Van Delft, M Oostdijk
IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010
522010
Implementing a formally verifiable security protocol in Java Card
E Hubbers, M Oostdijk, E Poll
Security in Pervasive Computing: First International Conference, Boppard …, 2004
412004
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
352007
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
332001
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
212005
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
172003
Proof by computation in the Coq system
M Oostdijk, H Geuvers
Theoretical Computer Science 272 (1-2), 293-314, 2002
162002
Trust, security, and privacy for the advanced metering infrastructure
G Lenzini, M Oostdijk, W Teeuw, B Hulsebosch, M Wegdam
112009
Integrating verification, testing, and learning for cryptographic protocols
M Oostdijk, V Rusu, J Tretmans, RG de Vries, TAC Willemse
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
112007
Counting votes with formal methods
B Jacobs, E Hubbers, J Kiniry, M Oostdijk
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
112004
On communicating proofs in interactive mathematical documents
O Caprotti, M Oostdijk
Artificial Intelligence and Symbolic Computation: International Conference …, 2001
112001
Electronic voting system
B Jacobs, M Oostdijk
US Patent App. 10/234,032, 2003
102003
How to formally and efficiently prove prime (2999)
O Caprotti, M Oostdijk
Symbolic Computation and Automated Reasoning, 114-125, 2001
102001
Generation and presentation of formal mathematical documents
MD Oostdijk
82001
Certified and portable mathematical documents from formal contexts
O Caprotti, JH Geuvers, MD Oostdijk
Berlin: European Mathematical Information Service, 2001
82001
The system can't perform the operation now. Try again later.
Articles 1–20