A Critique of Game-Based Definitions of Receipt-Freeness for Voting

Fraser, Ashley; Quaglia, Elizabeth A.; Smyth, Ben

doi:10.1007/978-3-030-31919-9_11

Cited by 7 publications

(6 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…According to Bernhard et al [17], confidentiality and privacy are synonymous in most security applications. In an e-voting scheme, privacy means the cast votes are anonymous to any party except when the election result reveals the vote [18]. We define for the first time the following game as indistinguishability under chosen ballot attack (IND-CBAA).…”

Section: Security Requirements For E-votingmentioning

confidence: 99%

Transformation from e-voting to e-cheque

Kho,

Heng,

Tan

et al. 2024

PLoS ONE

View full text Add to dashboard Cite

Although e-voting scheme and e-cheque scheme are two different applications, they have similarities in the scheme definitions and security properties. This inspires us to establish a relationship between the two schemes by formalising a generic transformation from e-voting to e-cheque scheme. Firstly, we define the scheme definitions and security models for both e-voting scheme and e-cheque scheme. Subsequently, we demonstrate a generic transformation framework from e-voting to e-cheque with asymptotic complexity of O ( n ) and design a formal proof to show that a secure e-voting scheme can be transformed into a secure e-cheque scheme. As a proof of concept, we apply our newly proposed transformation technique to the e-voting scheme proposed by Li et al. and obtain a concrete e-cheque scheme.

show abstract

Section: Security Requirements For E-votingmentioning

confidence: 99%

Transformation from e-voting to e-cheque

Kho,

Heng,

Tan

et al. 2024

PLoS ONE

View full text Add to dashboard Cite

show abstract

“…These first schemes, claimed receiptfreeness intuitively, without providing formal definitions or proofs. According to [FQS19], the formal analysis of receipt-freeness was in the symbolic setting (e.g.…”

Section: Game-based Definitions Of Receipt-freenessmentioning

confidence: 99%

“…This ability to simulate is according to [KZZ15a] the reason the DEMOS has receipt-freeness. [FQS19] mentions several problems with this first game-based definition. Firstly, it inherits the problem of the respective privacy definitions that it does not apply to all voting rules (cf.…”

Section: Game-based Definitions Of Receipt-freenessmentioning

confidence: 99%

“…As a result, it cannot capture coercionresistant schemes, which by definition, are receipt-free and are based on re-voting, or other techniques. A valid critique made by [FQS19] is that it requires that the ballot is changed before being posted to the BB. All in all, it is focused on a particular protocol and is not generic enough.…”

Section: Definition 46: Strong Receipt-freeness From [Cha+16]mentioning

confidence: 99%

“…κατατεθεί η ψήφος, BB ελέγχει ότι δεν υπάρχει ακριβές αντίγραφό της ήδη κατατεθειμένο χρησιμοποιώντας τη λειτουργία VS PACBS .Valid. Ber+15] και την αντίσταση στον εξαναγκασμό [JCJ05;Alw+15;FQS19]. Προσαρμόζουμε αυτούς τους ορισμούς στο πρωτόκολλό μας, διατηρώντας όμως τις κύριες ιδέες τους.…”

unclassified

See 2 more Smart Citations

Privacy-oriented cryptographic primitives and protocols for electronic voting

Γροντάς¹

View full text Add to dashboard Cite

Προτείνουμε τις Δημόσια Ελέγξιμες Υπο-Συνθήκη Τυφλές Υπογραφές (ΔΕΥΤΥ), ένα νέο κρυπτογραφικό σχήμα, που συνδέει την επαλήθευση μιας ψηφιακής υπογραφής με δημόσια διαθέσιμα δεδομένα. Κατά τη διάρκεια της υπογραφής, ένα κατηγόρημα που σχετίζεται με αυτά τα δεδομένα ενσωματώνεται στην υπογραφή, έτσι ώστε η τελευταία να ισχύει εάν και μόνο εάν το κατηγόρημα αποτιμάται ως αληθές. Η επαλήθευση πραγματοποιείται από έναν προκαθορισμένο επαληθευτή, με ισχυρό τρόπο, με τη χρήση ενός ιδιωτικού κλειδιού επαλήθευσης. Το απόρρητο του χρήστη που ζητά την υπογραφή προστατεύεται πληροφοριοθεωρητικά, τυφλώνοντας το προς-υπογραφή μήνυμα. Επιπλέον, για να αποφευχθούν επιθέσεις από κάποιον κακόβουλο υπογράφοντα ή επαληθευτή που αγνοούν το κατηγόρημα, η δημιουργία και ο έλεγχος των υπογραφών μας συνοδεύονται από στοιχεία με τη μορφή μη-διαδραστικών αποδείξεων μηδενικής γνώσης που αναγκάζουν συμμόρφωση προς το πρωτόκολλο. Ορίζουμε ένα μοντέλο ασφαλείας για να αποτυπώσουμε τις εγγυήσεις των υπογραφών μας και παρέχουμε μια υλοποίηση. Χρησιμοποιούμε τις ΔΕΥΤΥ σε ένα πρωτόκολλο απομακρυσμένης ηλεκτρονικής ψηφοφορίας. Η υπο-συνθήκη επαλήθευση μας βοηθά να δημιουργήσουμε ανώνυμα διαπιστευτήρια που επιτρέπουν στο σύστημά μας να αντιμετωπίζει επιθέσεις εξαναγκασμού στο υπόδειγμα πολλαπλών ψήφων ανά ψηφοφόρο σε συνδυασμό με ανώνυμα κανάλια και μια στιγμή ιδιωτικότητας. Κατά τον εξαναγκασμό, μία ψηφοφόρος χρησιμοποιεί ψεύτικο διαπιστευτήριο για να συνοδεύσει την επιλογή της, ενώ όταν ο εξαναγκαστής δεν παρακολουθεί, μπορεί να εισάγει την πραγματική ψήφο της που συνοδεύεται από έγκυρο διαπιστευτήριο. Φυσικά, μόνο η ψήφος με το έγκυρο διαπιστευτήριο θα μετρηθεί. Όλες οι αλληλεπιδράσεις είναι μη διακρίσιμες από τον εξαναγκαστή, ο οποίος δεν μπορεί να πει ποια ψήφος μέτρησε. Τα αποδεικτικά στοιχεία που δημιουργούνται από τις ΔΕΥΤΥ, μαζί με τα συνήθη αποδεικτικά στοιχεία που χρησιμοποιούνται σε συστήματα ηλεκτρονικής ψηφοφορίας, επιτρέπουν σε κάθε ψηφοφόρο να επαληθεύσει μεμονωμένα ότι η ψήφος καταχωρήθηκε σωστά και μετρήθηκε. Η καταμέτρηση των ψήφων, επιπλέον, είναι καθολικά επαληθεύσιμη, από οποιαδήποτε ενδιαφερόμενη οντότητα. Η συνολική αρχιτεκτονική του συστήματος μας, παρέχει επίσης ισχυρότερες εγγυήσεις για την προστασία της μυστικότητας της ψήφου, καθώς, σε αντίθεση με τη συνήθη πρακτική στις ηλεκτρονικές ψηφοφορίες, δεν υποθέτουμε ότι οι καταμετρητές τηρούν το απόρρητο της ψήφου. Αυτό μας επιτρέπει να επεκτείνουμε την μυστικότητα εναντίον ενός υπολογιστικά αδέσμευτου αντιπάλου. Γενικεύουμε τα ευρήματά μας για να εκφράσουμε μοντέλα ασφαλείας για αέναη προστασία μυστικότητας, που λαμβάνουν επίσης υπόψιν τα διαθέσιμα δεδομένα που διαρρέονται από την υλοποίηση του πρωτοκόλλου.

show abstract