Loading...

A rigorous security analysis of a decentralized electronic voting protocol in the universal composability framework

Khazaei, S ; Sharif University of Technology | 2018

538 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.jisa.2018.10.010
  3. Publisher: Elsevier Ltd , 2018
  4. Abstract:
  5. Designing an efficient and secure electronic voting (e-voting) protocol without the presence of trusted authorities, known as decentralized voting protocols, is one of the most interesting and challenging problems in cryptography. In these protocols the outcome of the protocol is computed by voters collaborating with each other. We provide a rigorous proof of security of a decentralized e-voting protocol proposed by Khader et al. in the Universal Composability (UC) Framework. This protocol is the state-of-the-art decentralized e-voting protocol in terms of efficiency and security, whose security has only been justified against a set of desired properties required in e-voting protocols. For security analysis of e-voting protocols, intuitive proof is not enough and we require a comprehensive approach that provides provable security. Our result settles this concern. © 2018 Elsevier Ltd
  6. Keywords:
  7. Electronic voting ; Provable security ; Universal composability framework ; Formal methods ; Security systems ; E-voting protocols ; Electronic voting protocols ; Secure electronic voting ; Security analysis ; Trusted authorities ; Universal composability ; Voting machines
  8. Source: Journal of Information Security and Applications ; Volume 43 , 2018 , Pages 99-109 ; 22142134 (ISSN)
  9. URL: https://www.sciencedirect.com/science/article/abs/pii/S221421261830231X