You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Surrey » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Surrey

Return to search Previous output Next output

Output 5 of 78 in the submission

Output title

A Formal Framework for Modelling Coercion Resistance and Receipt Freeness

Type

E - Conference contribution

DOI

10.1007/978-3-642-32759-9_19

Name of conference/published proceedings

FM 2012: Formal Methods - 18th International Symposium, Paris, France Proceedings.

Volume number

7436

Issue number

First page of article

217

ISSN of proceedings

1611-3349

Year of publication

2012

URL

Number of additional authors

Additional information

<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%.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract