Martijn Oostdijk

Cited by

	All	Since 2019
Citations	1342	373
h-index	12	4
i10-index	18	3

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 11 33 8 15 34 58 66 52 76 82 66 68 73 69 78 61 81 77 77 64 47 60 48

Co-authors

Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgVerified email at uni.lu
Olga CaprottiWEPS PortalVerified email at mappi.helsinki.fi
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Martijn WarnierProfessor of Complex Systems Design, Delft University of TechnologyVerified email at tudelft.nl
Erik PollRadboud University NijmegenVerified email at cs.ru.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Maarten WegdamInveridVerified email at inverid.com
Ronny Wichers SchreurProgrammer, Radboud University NijmegenVerified email at cs.ru.nl
Jaap-Henk HoepmanAssociate Professor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Roland van Rijswijk-DeijProfessor of Network Security, University of TwenteVerified email at utwente.nl
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
pieter koopmanRadboud universityVerified email at cs.ru.nl
Vlad RusuInriaVerified email at inria.fr
Gabriele LenziniInterdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of LuxembourgVerified email at uni.lu
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Perry Grootpostdoc, Radboud University NijmegenVerified email at science.ru.nl
Patrice ChalinDependable Software Research Group
Bart van Delft

Martijn Oostdijk

Inverid

Verified email at inverid.com

computer science computer security formal methods logic identity management


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of attack trees S Mauw, M Oostdijk Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006	723	2006
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	166	2006
Secure application programming in the presence of side channel attacks M Witteman, M Oostdijk RSA conference 2008, 2008	58	2008
A security analysis of OpenID B Van Delft, M Oostdijk IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010	53	2010
Implementing a formally verifiable security protocol in Java Card E Hubbers, M Oostdijk, E Poll Security in Pervasive Computing: First International Conference, Boppard …, 2004	41	2004
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	35	2007
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	34	2001
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	26	2003
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	21	2005
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	20	2004
Generating JML Specifications from UML State Diagrams. E Hubbers, M Oostdijk FDL, 263-274, 2003	16	2003
Proof by computation in the Coq system M Oostdijk, H Geuvers Theoretical Computer Science 272 (1-2), 293-314, 2002	16	2002
Trust, security, and privacy for the advanced metering infrastructure G Lenzini, M Oostdijk, W Teeuw, B Hulsebosch, M Wegdam	11	2009
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	11	2007
Counting votes with formal methods B Jacobs, E Hubbers, J Kiniry, M Oostdijk Algebraic Methodology and Software Technology: 10th International Conference …, 2004	11	2004
On Communicating Proofs in Interactive Mathematical Documents O Caprotti, M Oostdijk Artificial Intelligence and Symbolic Computation: International Conference …, 2001	11	2001
Electronic voting system B Jacobs, M Oostdijk US Patent App. 10/234,032, 2003	10	2003
How to formally and efficiently prove prime (2999) O Caprotti, M Oostdijk Symbolic Computation and Automated Reasoning, 114-125, 2001	10	2001
Provisioning scenarios in identity federations M Oostdijk, B Hulsebosch, N van Dijk, R van Rijswijk, H Zandbelt GigaPort3 deliverable EDS-4, 2010	8	2010
Generation and presentation of formal mathematical documents MD Oostdijk	8	2001

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors