Martijn Oostdijk
Martijn Oostdijk
InnoValor
Verified email at innovalor.nl
TitleCited byYear
Foundations of attack trees
S Mauw, M Oostdijk
International Conference on Information Security and Cryptology, 186-198, 2005
4372005
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
1462006
A security analysis of OpenID
B Van Delft, M Oostdijk
IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010
392010
Implementing a formally verifiable security protocol in Java Card
E Hubbers, M Oostdijk, E Poll
Security in Pervasive Computing, 213-226, 2004
382004
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
322001
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
302006
Secure application programming in the presence of side channel attacks
M Witteman, M Oostdijk
RSA conference 2008, 2008
242008
From finite state machines to provably correct java card applets
E Hubbers, M Oostdijk, E Poll
IFIP International Information Security Conference, 465-470, 2003
242003
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
192004
On-the-fly formal testing of a smart card applet
A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans
IFIP International Information Security Conference, 565-576, 2005
182005
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
142002
On Communicating Proofs in Interactive Mathematical Documents
O Caprotti, M Oostdijk
International Conference on Artificial Intelligence and Symbolic Computation …, 2000
132000
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
Control system for vehicle transmission
S Moritomo, M Sawada, K Sasaki
US Patent App. 10/234,032, 2019
92019
How to formally and efficiently prove prime (2999)
O Caprotti, M Oostdijk
Symbolic computation and automated reasoning, 114-125, 2001
92001
Certified and portable mathematical documents from formal contexts
O Caprotti, H Geuvers, M Oostdijk
82001
Provisioning scenarios in identity federations
M Oostdijk, B Hulsebosch, N van Dijk, R van Rijswijk, H Zandbelt
GigaPort3 deliverable EDS-4, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20