RIES: Internet voting in action

RIES stands for Rijnland Internet Election System. It is an online voting system that was developed by one of the Dutch local authorities on water management. The system has been used twice in the fall of 2004 for in total approximately two million potential voters. In this paper we describe how this system works. Furthermore we do not only describe how the outcome of the elections can be verified but also how it has been verified by us. To conclude the paper we describe some possible points for improvement

Cubic similarity in dimension five

Contains fulltext : 112450.pdf (publisher's version ) (Open Access)16 p

Stemmen via internet geen probleem

Contains fulltext : 76535.pdf (author's version ) (Open Access

Chaotic polynomial automorphisms: Counterexamples to several conjectures

Contains fulltext : 112454.pdf (preprint version ) (Open Access)6 p

Triangular factorizations of special polynomial automorphisms

Item does not contain fulltex

Generating JML Specifications from UML State Diagrams

Item does not contain fulltextFDL 2003, 23 september 200311 p

Implementing a formally verifiable security protocol in Java Card

Contains fulltext : 60536.pdf (preprint version ) (Open Access

Tearing Java Cards

Contains fulltext : 35342.pdf (author's version ) (Open Access)21 p