Martijn Oostdijk

2008
14	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
13	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
12	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
11	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
10	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
9	EE	Sjouke Mauw, Martijn Oostdijk: Foundations of Attack Trees. ICISC 2005: 186-198
8		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
7	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
6	EE	Engelbert Hubbers, Martijn Oostdijk: Generating JML Specifications from UML State Diagrams. FDL 2003: 263-274
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	[11]
3	Dermot Cochran	[10] [11]
4	Fintan Fairmichael	[11]
5	Lars Frantzen	[8]
6	Herman Geuvers	[3]
7	Jaap-Henk Hoepman	[12] [14]
8	Engelbert Hubbers	[4] [5] [6] [10] [11] [12] [14]
9	Bart Jacobs	[7] [12] [14]
10	Joseph Kiniry (Joseph R. Kiniry)	[10] [11]
11	Pieter W. M. Koopman	[8]
12	Sjouke Mauw	[9]
13	Alan E. Morkan	[10] [11]
14	Erik Poll	[4] [5]
15	Vlad Rusu	[13]
16	Ronny Wichers Schreur	[12] [14]
17	Jan Tretmans	[8] [13]
18	René G. de Vries	[13]
19	Martijn Warnier	[7]
20	Arjen van Weelden	[8]
21	Tim A. C. Willemse	[13]

Colors in the list of coauthors