Publications - Theses

Jesper Borgstrup. Private, trustless and decentralized message consensus and voting schemes. (MSc), 2014.

Christian Schütt Hansen, Frederik Hornbæk. Stemmesystem for handicappede. (Bsc), 2015.

Andreas Precht Poulsen, Mark Thorhauge, Mikkel Hvilshøj Funch. Elektronisk Stemme System. (BSc), 2014.

Ronnie Jespersen. Detektion af sårbarheder igennem statisk kodeanalyse (Diplom), 2014

Niels Abildgaard. Implementing Elliptic Curve Cryptography for .NET (BSc), 2014

Alina Arm. Security evaluation of Norwegian E-voting System (MSc), 2013

Jacob Claudius Grooss. Laws and Logic. (Bsc), 2013.

Nikolaj Aaes and Nicolai Skovvart. Aegis Digital Voter List (BSc), 2013

Dermot Cochran. Formal Specification and Analysis of Danish and Irish Ballot Counting Algorithms (PhD), 2013

Ólavur Kjølbro. Verifying the Danish Voting System (MSc), 2013

Amir Rached. Analysis of Scantegrity code and description (BSc, German University of Cairo), 2012