Output details
11 - Computer Science and Informatics
University of Surrey
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
<10>Formal analysis of secure voting systems is still in its infancy, and previous work has been rather ad-hoc, with different definitions and formalisms given in each paper. This work provides a unified framework for analysing coercion resistance and receipt freeness in voting systems. This allows, for the first time, different definitions of these properties to be compared. The framework is strong enough to encapsulate a vast array of definitions, including ones that are often overlooked (randomisation attacks and forced abstention attacks). FM is widely regarded as the top Formal Methods conference, with an acceptance rate for this batch of 26%.