References

[1] E.-M. Hubbers, M. Oostdijk, and E. Poll. Implementing a formally verifiable security protocol in Java Card. In D. Hutter, G. Müller, W. Stephan, and M. Ullmann, editors, Proceedings of the 1st international conference on security in pervasive computing, volume 2802 of LNCS, pages 213-226. Springer-Verlag, 2004. March 12-14, 2003, http://www.dfki.de/SPC2003/. [ bib | http | .pdf ]
[2] E.-M. Hubbers and E. Poll. Reasoning about card tears and transactions in Java Card. Technical Report NIII R0322, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, October 2003. To appear in FASE'04 proceedings. [ bib | .pdf ]
[3] E.-M. Hubbers, M. Oostdijk, and E. Poll. From finite state machines to provably correct Java Card applets. In D. Gritzalis, S. D. C. di Vimercati, P. Samarati, and S. Katsikas, editors, Security and privacy in the age of uncertainty, Proceedings of the 18th IFIP information security conference, pages 465-470. Kluwer Academic Publishers, 2003. [ bib | http ]
[4] E.-M. Hubbers and M. Oostdijk. Generating JML specifications from UML state diagrams. In Proceedings of forum on specification and design languages, ECSI CD-ROM, pages 263-273, 2003. [ bib ]
[5] E.-M. Hubbers. Integrating tools for automatic program verification. In M. Broy and A. Zamulin, editors, Proceedings of the Andrei Ershov fifth international conference perspectives of system informatics, volume 2890 of LNCS, pages 214-221. Springer-Verlag, 2003. http://www.iis.nsk.su/psi03. [ bib | http | .pdf ]
[6] B. Jacobs, E. Hubbers, J. Kiniry, and M. Oostdijk. Counting votes with formal methods. In C. Rattray, S. Maharaj, and C. Shankland, editors, Algebraic Methodology and Software Technology, volume 3116 of LNCS, pages 21-22. Springer-Verlag, 2003. [ bib ]
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own involvement in the infrastructure for this experiment. The talk will elaborate further about the computer security issues involved, especially with respect to the use of formal methods for vote counting software.

[7] E.-M. Hubbers and D. Wright. Triangular factorizations of special polynomial automorphisms. J. of Algebra, 235(2):459-483, 2001. [ bib | http ]
[8] E.-M. Hubbers. Pinchuk's 2-dimensional example paired to a cubic linear 1999-dimensional map. preprint, 1999. [ bib | .ps.gz ]
[9] E.-M. Hubbers and D. Wright. Stably tame automorphisms. Report 9817, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, September 1998. Appeared as [7]. [ bib | .ps.gz ]
[10] E.-M. Hubbers. Nilpotent Jacobians. PhD thesis, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, 1998. Promotor A.H.M. Levelt. Copromotor A.R.P. van den Essen. [ bib | .ps ]
[11] A. Cima, A. van den Essen, A. Gasull, E.-M. Hubbers, and F. Mañosas. A polynomial counterexample to the Markus-Yamabe Conjecture. Advances in Mathematics, 131(2):453-457, 1997. [ bib | http ]
[12] A. van den Essen and E.-M. Hubbers. A new class of invertible polynomial maps. J. of Algebra, 187:214-226, 1997. [ bib | http ]
[13] A. van den Essen and E.-M. Hubbers. Chaotic polynomial automorphisms; counterexamples to several conjectures. Advances in Applied Mathematics, 18:382-388, 1997. [ bib | http ]
[14] A. van den Essen and E.-M. Hubbers. Dn(A) for a class of polynomial automorphisms and stably tameness. J. of Algebra, 192:460-475, 1997. [ bib | http ]
[15] E.-M. Hubbers. Cubic similarity in dimension five. In E.-M. Hubbers, editor, A conference on polynomial maps and the Jacobian Conjecture. (In honour of the mathematical work of Gary Meisters), pages 75-89, 1997. [ bib | http | .ps ]
[16] E.-M. Hubbers, editor. Differential and difference equations and computer algebra, 1997. In honour of A.H.M. Levelt's 65th birthday. [ bib | .pdf ]
[17] E.-M. Hubbers. Pinchuk's example. preprint, 1997. [ bib ]
[18] E.-M. Hubbers. Cubic similarity in dimension five. Report 9638, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, December 1996. Appeared as [15]. [ bib | .ps.gz ]
[19] A. van den Essen and E.-M. Hubbers. A counterexample to Meisters' cubic-linear linearization conjecture. Report 9616, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, May 1996. Withdrawn because of unrecoverable mistake. [ bib | .ps.gz ]
[20] A. van den Essen and E.-M. Hubbers. Dn(A) for polynomial automorphisms. Report 9614, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, April 1996. Appeared as [14]. [ bib | .ps.gz ]
[21] A. van den Essen and E.-M. Hubbers. A new class of invertible polynomial maps. Report 9604, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, February 1996. Appeared as [12]. [ bib | .ps.gz ]
[22] A. van den Essen and E.-M. Hubbers. Polynomial maps with strongly nilpotent Jacobian matrix and the Jacobian Conjecture. Linear Algebra and its Applications, 247:121-132, 1996. [ bib | http | .pdf ]
[23] A. Cima, A. van den Essen, A. Gasull, E.-M. Hubbers, and F. Mañosas. A polynomial counterexample to the Markus-Yamabe Conjecture. Report 9551, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, 1995. Appeared as [11]. [ bib | .ps.gz ]
[24] A. van den Essen and E.-M. Hubbers. Chaotic polynomial automorphisms; counterexamples to several conjectures. Report 9549, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, 1995. Appeared as [13]. [ bib | .ps.gz ]
[25] A. van den Essen and E.-M. Hubbers. Polynomial maps with strongly nilpotent jacobian matrix and the Jacobian Conjecture. Report 94.., University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, October 1994. Appeared as [22]. [ bib | .ps.gz ]
[26] E.-M. Hubbers. The Jacobian Conjecture: Cubic homogeneous maps in dimension four. Master's thesis, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, February 17 1994. Directed by A.R.P. van den Essen. [ bib | .ps.gz ]
[27] B. van Linder and E.-M. Hubbers. Default ionic logic: Its syntax and semantics, part I. Technical Report IR-296, Free University Amsterdam, August 1992. [ bib ]
[28] B. van Linder and E.-M. Hubbers. Default ionic logic: Its syntax and semantics, part II. Technical Report IR-297, Free University Amsterdam, August 1992. [ bib ]
[29] B. van Linder and E.-M. Hubbers. Default ionic logic: Its syntax and semantics, part I. Master's thesis, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, June 10 1992. Directed by J.-J.Ch. Meyer; See also [27]. [ bib ]
[30] B. van Linder and E.-M. Hubbers. Default ionic logic: Its syntax and semantics, part II. Master's thesis, University of Nijmegen, Toernooiveld, 6525 ED Nijmegen, The Netherlands, June 10 1992. Directed by J.-J.Ch. Meyer; See also [28]. [ bib ]

This file was generated by bibtex2html 1.97.