Note that the gaps in this list are due to the fact that starting from 2005 I have been on a position that doesn't involve academic research. Sometimes I am involved in a research project, but most of my time is spent on teaching.
List of Publications
2021
2013
- Blackboard Security Assessment (), Technical report ICIS-R13004, Institute for Computing and Information SciencesRadboud University Nijmegen, 2013.
2008
- Crossing Borders: Security and Privacy Issues of the European e-Passport (), In CoRR, volume abs/0801.3930, 2008.
- Description and Analysis of the RIES Internet Voting System (), Technical report EiPSI-0801, Eindhoven Institute for the Protection of Systems and Information, 2008.
2006
- Crossing Borders: Security and Privacy Issues of the European e-Passport (), In Advances in Information and Computer Security, First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings (Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama, Shin-ichi Kawamura, eds.), Springer, volume 4266, 2006.
- The KOA Remote Voting System: A Summary of Work to Date (), In Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Ugo Montanari, Donald Sannella, Roberto Bruni, eds.), Springer, volume 4661, 2006.
- Formal techniques in a remote voting system (), In ACM SIGSOFT Softw. Eng. Notes, volume 31, 2006.
2005
- RIES - Internet Voting in Action (), In 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, IEEE Computer Society, 2005.
2004
- Counting Votes with Formal Methods (), In Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Charles Rattray, Savi Maharaj, Carron Shankland, eds.), Springer, volume 3116, 2004.
- Reasoning about Card Tears and Transactions in Java Card (), In Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings (Michel Wermelinger, Tiziana Margaria, eds.), Springer, volume 2984, 2004.
- Implementing a Formally Verifiable Security Protocol in Java Card (), In Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers (Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann, eds.), Springer, volume 2802, 2004.
- Transactions and non-atomic API calls in Java Card: specification ambiguity and strange implementation behaviours (), Technical report R0438, University of Nijmegen, 2004.
2003
- Integrating Tools for Automatic Program Verification (), In Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers (Manfred Broy, Alexandre V. Zamulin, eds.), Springer, volume 2890, 2003.
- Generating JML Specifications from UML State Diagrams (), In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, ECSI, 2003.
- From Finite State Machines to Provably Correct Java Card Applets (), In Security and Privacy in the Age of Uncertainty, IFIP TC11 18th International Conference on Information Security (SEC2003), May 26-28, 2003, Athens, Greece (Dimitris Gritzalis, Sabrina De Capitani di Vimercati, Pierangela Samarati, Sokratis K. Katsikas, eds.), Kluwer, volume 250, 2003.
- Reasoning about card tears and transactions in Java Card (), Technical report R0322, University of Nijmegen, 2003.
2001
- Triangular factorizations of special polynomial automorphisms (), In J. of Algebra, volume 235, 2001.
1999
1998
- Nilpotent Jacobians (), PhD thesis, University of Nijmegen, 1998.
- A conference on Polynomial Maps and the Jacobian Conjecture. (In honour of the mathematical work of Gary Meisters), (E.-M.G.M. Hubbers, ed.), 1998.
- Stably tame automorphisms (), Technical report 9817, University of Nijmegen, 1998.
1997
- A polynomial counterexample to the Markus-Yamabe Conjecture (), In Advances in Mathematics, volume 131, 1997.
- A new class of invertible polynomial maps (), In J. of Algebra, volume 187, 1997.
- Chaotic polynomial automorphisms; counterexamples to several conjectures (), In Advances in Applied Mathematics, volume 18, 1997.
- \({{\cal D}_{n}(A)}\) for a class of polynomial automorphisms and stably tameness (), In J. of Algebra, volume 192, 1997.
- Pinchuk's example (), 1997.
- Cubic Similarity in dimension five (), In A conference on Polynomial maps and the Jacobian Conjecture. (In honour of the mathematical work of Gary Meisters) (E.-M.G.M. Hubbers, ed.), 1997.
- Differential and difference equations and computer algebra, (E.-M.G.M. Hubbers, ed.), 1997.
1996
- Polynomial maps with strongly nilpotent Jacobian matrix and the Jacobian Conjecture (), In Linear Algebra and its Applications, volume 247, 1996.
- A new class of invertible polynomial maps (), Technical report 9604, University of Nijmegen, volume 187, 1996.
- \({{\cal D}_{n}(A)}\) for polynomial automorphisms (), Technical report 9614, University of Nijmegen, volume 192, 1996.
- Cubic similarity in dimension five (), Technical report 9638, University of Nijmegen, 1996.
1995
- A polynomial counterexample to the Markus-Yamabe Conjecture (), Technical report 9551, University of Nijmegen, 1995.
- Chaotic polynomial automorphisms; counterexamples to several conjectures (), Technical report 9549, University of Nijmegen, volume 18, 1995.
1994
- The Jacobian Conjecture: Cubic homogeneous maps in dimension four (), Master's thesis, University of Nijmegen, 1994.
- Polynomial maps with strongly nilpotent Jacobian matrix and the Jacobian Conjecture (), Technical report 94.., University of Nijmegen, volume 247, 1994.
1992
- Default Ionic Logic: Its syntax and semantics, part I (), Master's thesis, University of Nijmegen, 1992.
- Default Ionic Logic: Its syntax and semantics, part II (), Master's thesis, University of Nijmegen, 1992.
- Default Ionic Logic: Its syntax and semantics, part I (), Technical report IR-296, Free University Amsterdam, 1992.
- Default Ionic Logic: Its syntax and semantics, part II (), Technical report IR-297, Free University Amsterdam, 1992.