Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Towards Model Checking of Voting Protocols in Uppaal
Jamroga, Wojciech; Kim, Yan; Kurpiewski, Damian et al.
2020In Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020
Peer reviewed
 

Files


Full Text
2007.12412[1].pdf
Author preprint (866.95 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
Jamroga, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA
Kim, Yan ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA
Kurpiewski, Damian
Ryan, Peter Y A ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
yes
Language :
English
Title :
Towards Model Checking of Voting Protocols in Uppaal
Publication date :
2020
Event name :
Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020
Event date :
6-9 Oct 2020
Main work title :
Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020
Publisher :
Springer
Collection name :
Lecture Notes in Computer Science, vol. 12455
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan
Available on ORBilu :
since 24 February 2021

Statistics


Number of views
186 (23 by Unilu)
Number of downloads
167 (6 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
1
OpenCitations
 
4

Bibliography


Similar publications



Contact ORBilu