Coercion-Resistance and Receipt-Freeness in Electronic Voting

Authors:
Stephanie Delaune;Steve Kremer;Mark Ryan
Affiliations:
LSV, France Telecom R&D, France;LSV, INRIA, France;University of Birmingham, UK
Venue:
CSFW '06 Proceedings of the 19th IEEE workshop on Computer Security Foundations
Year:
2006

Citing 0
Cited 36

Knowledge-based modelling of voting protocols

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Challenges in the Automated Verification of Security Protocols

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Computational soundness of observational equivalence

Proceedings of the 15th ACM conference on Computer and communications security
Type-checking zero-knowledge

Proceedings of the 15th ACM conference on Computer and communications security
Enforcing behaviour with anonymity

Proceedings of the workshop on Applications of private and anonymous communications
Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study

ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
Analysis of a Biometric Authentication Protocol for Signature Creation Application

IWSEC '08 Proceedings of the 3rd International Workshop on Security: Advances in Information and Computer Security
An Open Framework for Remote Electronic Elections

CANS '08 Proceedings of the 7th International Conference on Cryptology and Network Security
An Adversary Model for Simulation-Based Anonymity Proof

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
On Backward-Style Anonymity Verification

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A formal framework for quantifying voter-controlled privacy

Journal of Algorithms
Verifying privacy-type properties of electronic voting protocols

Journal of Computer Security
A Complete Symbolic Bisimilarity for an Extended Spi Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Prêt à voter: a voter-verifiable voting system

IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Symbolic bisimulation for the applied Pi calculus

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Simulation-based analysis of E2E voting systems

VOTE-ID'07 Proceedings of the 1st international conference on E-voting and identity
Verification of integrity and secrecy properties of a biometric authentication protocol

ISPEC'08 Proceedings of the 4th international conference on Information security practice and experience
Formal approaches to information-hiding (Tutorial)

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Symbolic bisimulation for the applied pi calculus

Journal of Computer Security - Security Issues in Concurrency (SecCo'07)
Provably secure randomized blind signature scheme based on bilinear pairing

Computers & Mathematics with Applications
Proving coercion-resistance of scantegrity II

ICICS'10 Proceedings of the 12th international conference on Information and communications security
Anonymity and verifiability in voting: understanding (un)linkability

ICICS'10 Proceedings of the 12th international conference on Information and communications security
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Journal of Automated Reasoning
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

Transactions on Data Privacy
Adapting helios for provable ballot privacy

ESORICS'11 Proceedings of the 16th European conference on Research in computer security
Anonymity in voting revisited

Towards Trustworthy Elections
Formal verification of authentication-type properties of an electronic voting protocol using mCRL2

VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
An efficient multi-receipt mechanism for uncoercible anonymous electronic voting

Mathematical and Computer Modelling: An International Journal
Mental voting booths

NordSec'11 Proceedings of the 16th Nordic conference on Information Security Technology for Applications
Fairness in non-repudiation protocols

STM'11 Proceedings of the 7th international conference on Security and Trust Management
Coercion-resistant electronic elections with write-in candidates

EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
A systematic process-model-based approach for synthesizing attacks and evaluating them

EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
Allowing continuous evaluation of citizen opinions through social networks

EGOVIS'12/EDEM'12 Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance
Practical Internet voting system

Journal of Network and Computer Applications
A game-based definition of coercion resistance and its applications

Journal of Computer Security - CSF 2010
Attacking and fixing Helios: An analysis of ballot secrecy

Journal of Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper studies observational determinism, a generalisation of non-interference for multi-threaded programs. Standard notions of non-interference only consider input and output of programs, but to ensure the security of multithreaded programs, one ...