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
International Conference on Information Security and Cryptology, 186-198, 2005
5882005
Crossing borders: Security and privacy issues of the european e-passport
JH Hoepman, E Hubbers, B Jacobs, M Oostdijk, RW Schreur
International Workshop on Security, 152-167, 2006
1642006
A security analysis of OpenID
B Delft, M Oostdijk
IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010
472010
Secure application programming in the presence of side channel attacks
M Witteman, M Oostdijk
RSA conference 2008, 2008
422008
Implementing a formally verifiable security protocol in Java Card
E Hubbers, M Oostdijk, E Poll
Security in Pervasive Computing, 213-226, 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, ...
International Symposium on Trustworthy Global Computing, 244-262, 2006
322006
From finite state machines to provably correct java card applets
E Hubbers, M Oostdijk, E Poll
IFIP International Information Security Conference, 465-470, 2003
252003
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
On-the-fly formal testing of a smart card applet
A Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans
IFIP International Information Security Conference, 565-576, 2005
192005
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
International Conference on Artificial Intelligence and Symbolic Computation …, 2000
152000
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
International Conference on Integrated Formal Methods, 538-557, 2007
112007
Counting votes with formal methods
B Jacobs, E Hubbers, J Kiniry, M Oostdijk
International Conference on Algebraic Methodology and Software Technology, 21-22, 2004
102004
How to formally and efficiently prove prime (2999)
O Caprotti, M Oostdijk
Symbolic Computation and Automated Reasoning, 114-125, 2001
102001
Electronic voting system
B Jacobs, M Oostdijk
US Patent App. 10/234,032, 2003
92003
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, H Geuvers, M Oostdijk
82001
The system can't perform the operation now. Try again later.
Articles 1–20