Reference : Towards Model Checking of Voting Protocols in Uppaal
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/46367
Towards Model Checking of Voting Protocols in Uppaal
English
Jamroga, Wojciech mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA >]
Kim, Yan mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA >]
Kurpiewski, Damian []
Ryan, Peter Y A mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
2020
Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020
Springer
Lecture Notes in Computer Science, vol. 12455
Yes
Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020
6-9 Oct 2020
[en] The design and implementation of a trustworthy e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how the voting system works, and what requirements on the system are relevant. In this paper, we propose that the state-of-art model checker Uppaal provides a good environment for modelling and preliminary verification of voting protocols. To illustrate this, we demonstrate how to model a version of Pret-a-Voter in Uppaal, together with some natural extensions. We also show how to verify a variant of receipt-freeness, despite the severe limitations of the property specification language in the model checker.

The aim of this work is to open a new path, rather then deliver the ultimate outcome of formal analysis. A comprehensive model of Pret-a-Voter, more accurate specification of requirements, and exhaustive verification are planned for the future.
Researchers ; Professionals
http://hdl.handle.net/10993/46367
10.1007/978-3-030-60347-2_9
https://arxiv.org/abs/2007.12412
FnR ; FNR12685695 > Peter Y. A. Ryan > STV > Socio-technical Verification Of Information Security And Trust In Voting Systems > 01/09/2019 > 31/08/2022 > 2018

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
2007.12412[1].pdfAuthor preprint846.63 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.