Automatic Margin Computation for Risk-Limiting Audits
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
In this paper, we present a fully automatic method for computing election margins. It is based on the program analysis technique of bounded model checking to analyse the implementation of the election function. The method can be applied to arbitrary election functions without understanding the actual computation of the election result or without even intuitively knowing how the election function works.
We have implemented our method based on the model checker CBMC; and we present a case study demonstrating that it can be applied to real-world elections.
|Title of host publication||First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings|
|Publication status||Published - 2017|
|Series||Lecture Notes in Computer Science|