Skip to content



Verificatum -- An efficient and provably secure mix-net

Wikström, D (KTH - Royal Institute of Technology)
Thursday 02 February 2012, 11:45-12:30

Seminar Room 1, Newton Institute


A common component in electronic election schemes is a so called 'mix-net'. This is a protocol executed by a group of servers that takes a list of ciphertexts and outputs the plaintexts in sorted order without revealing anything about the correspondence between input ciphertexts and output plaintexts. Thus, a mix-net can securely perform the tabulation in an electronic election where voters submit encrypted votes. Verificatum is an open source implementation of an efficient and provably secure mix-net (see In its simplest form it is a Java application that is easy to install and use, but it can also exploit optimized C code, it can be configured in many ways, and it is a perfect platform for implementing more advanced election schemes. It has already been used successfully in the Wombat voting project. We will present Verificatum and describe the work we have done so far and what lies ahead.


The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.

Back to top ∧