[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 213226. SpringerVerlag, 2004. March 1214, 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 465470. 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 CDROM, pages 263273, 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 214221. SpringerVerlag, 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
2122. SpringerVerlag, 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):459483, 2001. [ bib  http ] 
[8]  E.M. Hubbers. Pinchuk's 2dimensional example paired to a cubic linear 1999dimensional 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 MarkusYamabe Conjecture. Advances in Mathematics, 131(2):453457, 1997. [ bib  http ] 
[12]  A. van den Essen and E.M. Hubbers. A new class of invertible polynomial maps. J. of Algebra, 187:214226, 1997. [ bib  http ] 
[13]  A. van den Essen and E.M. Hubbers. Chaotic polynomial automorphisms; counterexamples to several conjectures. Advances in Applied Mathematics, 18:382388, 1997. [ bib  http ] 
[14]  A. van den Essen and E.M. Hubbers. D_{n}(A) for a class of polynomial automorphisms and stably tameness. J. of Algebra, 192:460475, 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 7589, 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' cubiclinear 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. D_{n}(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:121132, 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 MarkusYamabe 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 IR296, 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 IR297, 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.