The Company

Verificatum AB specializes in development of advanced cryptographic protocols as well as advanced consulting in cryptography. It was founded by Douglas Wikström and is based in Stockholm, Sweden. Please contact us if you would like to know more.

Douglas Wikström is an associate professor in cryptography at the School of Computer Science and Communication (CSC) at the KTH Royal Institute of Technology in Stockholm, Sweden. He is a world-leading expert on mix-nets with 14 years of research experience. He has broken several schemes proposed in the literature by renowned researchers, some of which were implemented and used in high profile research projects. Verificatum AB is a spinoff company of CSC KTH.

Verificatum Mix-Net

Currently, the main product developed by Verificatum AB is the Verificatum Mix-Net (VMN), an implementation of a provably secure mix-net. Development started 2007.

VMN was used in the 2013 Norwegian parliamentary election. Twelve municipalities were involved in these trials with approximately 250.000 eligible voters. It has previously been used in two student elections at Tel Aviv University and to elect the party leader of Meretz, a party in the Israeli parliament.

The most recent source code is available under a research license that allows the holder to experiment with it, but not use it in any real application without explicit permission. That said, we welcome requests from non-commercial organizations that are interested in using the software. The code is not available for download, interested parties must contact us directly.

Abstract Provably Secure Mix-Net

VMN is an implementation of a provably secure mix-net based on more than 30 years of research by numerous cryptographers (including Wikström), but with some additional novel elements and variations of known constructions.

The mix-net is the main component of electronic voting systems that employ mix-nets. It generates a public key for which the private key remains shared (and is never recovered). Voters then use the public key in a submisson scheme to encrypt their vote and the mix-net then decrypts and simultaneously randomly re-orders the plaintexts to break the correspondence between input ciphertexts and output plaintexts. There are several possible submission schemes and they must typically be tailored for a given type of election, but the amount of work needed to implement a submission scheme is modest.

Documentation

Please read the following documents to get a better idea of what VMN and associated tools provide.