- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Oostdijk, M.D."
Now showing items 1-20 of 20
-
Patient Data Confidentiality Issues of the Dutch Electronic Health Care Record Groot, Perry; Bruijsten, Ferry; Oostdijk, Martijn2007, Article in monograph or in proceedings (In proc. the Belgian-Dutch Conference on Artificial Intelligence (BNAIC), pp. 151-157) -
The KOA Remote Voting System: A Summary of Work to Date Kiniry, Joseph R.; Morkan, Alan E.; Cochran, Dermot; Fairmichael, Fintan; Chalin, Patrice; Oostdijk, Martijn ; Hubbers, Engelbert2007, Article in monograph or in proceedings (Trustworthy Global Computing (TGC'06), pp. 244-262) -
Integrating verification, testing and learning for cryptographic protocols Oostdijk, Martijn ; Rusu, Vlad; Tretmans, Jan ; Vries, Rene de; Willemse, Tim2007, Article in monograph or in proceedings (In proc. Integrated Formal Methods, pp. 538-557) -
Foundations of Attack Trees Mauw, Sjouke; Oostdijk, Martijn2006, Article in monograph or in proceedings (Won, D.; Kim, S. (ed.), Proc. 8th Annual International Conference on Information Security and Cryptology, ICISC'05, pp. 186-198)
-
Crossing Borders: Security and Privacy Issues of the European e-Passport Hoepman, Jaap-Henk ; Hubbers, E.M.G.M. ; Jacobs, B.P.F. ; Oostdijk, Martijn ; Wichers Schreur, R.J.M.2006, Article in monograph or in proceedings (Proc. IWSEC 2006: Advances in Information and Computer Security, pp. 152-167)
-
-
On-the-Fly Formal Testing of a Smart Card Applet 2005, Article in monograph or in proceedings (Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Proceedings of the 20th IFIP TC11 International Information Security Conference, pp. 564-576)
-
Source Code Verification of a Secure Payment Applet Jacobs, B. ; Oostdijk, M.D. ; Warnier, M.2004, Article / Letter to editor (Journal of Logic and Algebraic Programming, vol. 58, iss. 1, (2004), pp. 107-120)
-
Implementing a formally verifiable security protocol in Java Card 2004, Article in monograph or in proceedings (Hutter, D.; M�ller, G.; Stephan, W. (ed.), Proceedings of the 1st international conference on security in pervasive computing, pp. 213-226)
-
On-the-Fly Formal Testing of a Smart Card Applet Weelden, A. van ; Frantzen, L. ; Oostdijk, M.D. ; Koopman, P.; Tretmans, G.J.2004, External research report
-
From Finite State Machines To Provably Correct Java Card Applets 2003, Article in monograph or in proceedings (Gritzalis, Dimitris (ed.), Proceedings of the 18th IFIP Information Security Conference, pp. 465-470)
-
Generating JML Specifications from UML State Diagrams 2003, Article in monograph or in proceedings (Proceedings Forum on Specification & Design Languages, pp. 263-273)
-
Proof by Computation in the Coq system 2002, Article / Letter to editor (Theoretical Computer Science, vol. 272, iss. 1-2, (2002), pp. 293-314)
-
Voting using Java Card smart cards: A case study 2002, Article in monograph or in proceedings (VerifiCard'02: Informal proceedings of the annual Verificard meeting, 7th-9th January 2002, Centre International de Rencontres Mathématiques in Marseille, pp. 1-13)
-
-
Certified and Portable Mathematical Documents from Formal Contexts Caprotti, O.; Geuvers, J.H. ; Oostdijk, M.D.2001, Article in monograph or in proceedings (Buchberger, Bruno; Caprotti, Olga (ed.), MKM'2001: Electronic Proceedings of the First International Workshop on Mathematical Knowledge Management RISC, A-4232 Schloss Hagenberg, September 24-26, 2001, pp. 1-18)
-
How to Formally and Efficiently Prove Prime(2999) Caprotti, O.; Oostdijk, M.D.2001, Part of book or chapter of book (Kerber, M. (ed.), Symbolic computation and automated reasoning, pp. 114-125)
-
Formal and efficient primality proofs by use of Computer Algebra oracles Caprotti, O.; Oostdijk, M.D.2001, Article / Letter to editor (Journal of Symbolic Computation, vol. 32, iss. 1-2, (2001), pp. 55-70)
-
On Communicating Proofs in Interactive Mathematical Documents Caprotti, O.; Oostdijk, M.D.2001, Article in monograph or in proceedings (Campbell, J.A. (ed.), Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers, pp. 53-64)
-
An Interactive Viewer for Mathematical Content Based On Type Theory 2000, External research report
Now showing items 1-20 of 20
Search Repository
Browse
-
All of Repository
Upload Full Text