Foundations of attack trees S Mauw, M Oostdijk Information Security and Cryptology-ICISC 2005: 8th International Conference …, 2006 | 695 | 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 | 164 | 2006 |
Secure application programming in the presence of side channel attacks M Witteman, M Oostdijk RSA conference 2008, 2008 | 54 | 2008 |
A security analysis of OpenID B Van Delft, M Oostdijk IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010 | 52 | 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 | 33 | 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 | 17 | 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 |
Generation and presentation of formal mathematical documents MD Oostdijk | 8 | 2001 |
Certified and portable mathematical documents from formal contexts O Caprotti, JH Geuvers, MD Oostdijk Berlin: European Mathematical Information Service, 2001 | 8 | 2001 |