Martijn Oostdijk

2008
13	EE	Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur: Crossing Borders: Security and Privacy Issues of the European e-Passport CoRR abs/0801.3930: (2008)
2007
12	EE	Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse: Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM 2007: 538-557
2006
11	EE	Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur: Crossing Borders: Security and Privacy Issues of the European e-Passport. IWSEC 2006: 152-167
10	EE	Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262
9	EE	Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers: Formal techniques in a remote voting system. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
2005
8	EE	Sjouke Mauw, Martijn Oostdijk: Foundations of Attack Trees. ICISC 2005: 186-198
7		Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans: On-the-Fly Formal Testing of a Smart Card Applet. SEC 2005: 565-576
2004
6	EE	Bart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004)
2003
5		Engelbert Hubbers, Martijn Oostdijk, Erik Poll: From Finite State Machines to Provably Correct Java Card Applets. SEC 2003: 465-470
4	EE	Engelbert Hubbers, Martijn Oostdijk, Erik Poll: Implementing a Formally Verifiable Security Protocol in Java Card. SPC 2003: 213-226
2002
3	EE	Martijn Oostdijk, Herman Geuvers: Proof by computation in the Coq system. Theor. Comput. Sci. 272(1-2): 293-314 (2002)
2001
2		Olga Caprotti, Martijn Oostdijk: Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles. J. Symb. Comput. 32(1/2): 55-70 (2001)
2000
1	EE	Olga Caprotti, Martijn Oostdijk: On Communicating Proofs in Interactive Mathematical Documents. AISC 2000: 53-64

Coauthor Index

1	Olga Caprotti	[1] [2]
2	Patrice Chalin	[10]
3	Dermot Cochran	[9] [10]
4	Fintan Fairmichael	[10]
5	Lars Frantzen	[7]
6	Herman Geuvers	[3]
7	Jaap-Henk Hoepman	[11] [13]
8	Engelbert Hubbers	[4] [5] [9] [10] [11] [13]
9	Bart Jacobs	[6] [11] [13]
10	Joseph Kiniry (Joseph R. Kiniry)	[9] [10]
11	Pieter W. M. Koopman	[7]
12	Sjouke Mauw	[8]
13	Alan E. Morkan	[9] [10]
14	Erik Poll	[4] [5]
15	Vlad Rusu	[12]
16	Ronny Wichers Schreur	[11] [13]
17	Jan Tretmans	[7] [12]
18	René G. de Vries	[12]
19	Martijn Warnier	[6]
20	Arjen van Weelden	[7]
21	Tim A. C. Willemse	[12]

Colors in the list of coauthors