Towards Everlasting Privacy and Efficient Coercion Resistance in Remote Electronic Voting

Grontas, Panagiotis; Pagourtzis, Aris; Zacharakis, Alexandros; Zhang, Bingsheng

doi:10.1007/978-3-662-58820-8_15

Cited by 17 publications

(24 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…However, this scheme has a serious drawback -the authority can cheat and provide an arbitrary signature disregarding the value of the predicate. In order to make the signature auditable a variation of CBS called PACBS (Publicly Auditable Conditional Blind Signatures) has been proposed in (Grontas et al, 2019) where the authority embeds the predicate inside the signature and attaches zero knowledge proofs that enable everybody to check its actions.…”

Section: Digital Signaturesmentioning

confidence: 99%

Blockchain, consensus, and cryptography in electronic voting

Grontas¹,

Pagourtzis²

2019

HomVir

Self Cite

View full text Add to dashboard Cite

Motivated by the recent trends to conduct electronic elections using blockchain technologies, we review the vast literature on cryptographic voting and assess the status of the field. We analyze the security requirements for voting systems and describe the major ideas behind the most influential cryptographic protocols for electronic voting. We focus on the great importance of consensus in the elimination of trusted third parties. Finally, we examine whether recent blockchain innovations can satisfy the strict requirements set for the security of electronic voting.

show abstract

Section: Digital Signaturesmentioning

confidence: 99%

Blockchain, consensus, and cryptography in electronic voting

Grontas¹,

Pagourtzis²

2019

HomVir

Self Cite

View full text Add to dashboard Cite

show abstract

“…Several paper are devoted to reduce the tally complexity in JCJ, see e.g. [18,2,6,20], however, each with their drawbacks. JCJ and similar constructions however also suffer from usability deficits, see also [14].…”

Section: Introductionmentioning

confidence: 99%

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting

Estaji

Haines

Gjøsteen

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

In this paper we revisit the seminal coercion-resistant e-voting protocol by Juels, Catalano and Jakobsson (JCJ) and in particular the attempts to make it usable and practical. In JCJ the user needs to handle cryptographic credentials and be able to fake these in case of coercion. In a series of three papers Neumann et al. analysed the usability of JCJ, and constructed and implemented a practical credential handling system using a smart card which unlock the true credential via a PIN code, respectively fake the credential via faking the PIN. We present several attacks and problems with the security of this protocol, especially an attack on coercion-resistance due to information leakage from the removal of duplicate ballots. Another problem, already stressed but not solved by Neumann et al, is that PIN typos happen frequently and would invalidate the cast vote without the voter being able to detect this. We construct different protocols which repair these problems. Further, the smart card is a trusted component which can invalidate cast votes without detection and can be removed by a coercer to force abstention, i.e. presenting a single point of failure. Hence we choose to make the protocols hardware-flexible i.e. also allowing the credentials to be store by ordinary means, but still being PIN based and providing PIN error resilience. Finally, one of the protocols has a linear tally complexity to ensure an efficient scheme also with many voters.

show abstract

“…Στη διατριβή επιλύουμε τα συγκεκριμένα προβλήματα εισάγοντας ένα νέο κρυπτογραφικό εργαλείο, τις Δημόσια Ελέγξιμες Υπο-Συνθήκη Τυφλές Υπογραφές (ΔΕΥΤΥ) -Publicly Auditable Conditional Blind Signatures (PACBS) [Gro+18;Gro+20]. Η εισαγωγή των PACBS, όπως και των CBS γίνεται με αυτόνομο τρόπο έτσι ώστε να μπορούν να χρησιμοποιηθούν και σε άλλα πρωτόκολλα εκτός από τις ηλεκτρονικές ψηφοφορίες.…”

Section: εκτεταμένη περίληψηunclassified

“…Οι παραπάνω στόχοι επιτυγχάνονται όπως προαναφέραμε με τις PACBS στο πρωτόκολλο ψηφοφοριών VS PACBS [Gro+18] που αποτελείται από τα εξής στάδια: -Καταμέτρηση, που υλοποιείται από την λειτουργία VS PACBS .Tally.…”

Section: εκτεταμένη περίληψηunclassified

See 1 more Smart Citation

Privacy-oriented cryptographic primitives and protocols for electronic voting

Γροντάς¹

View full text Add to dashboard Cite

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

show abstract

Towards Everlasting Privacy and Efficient Coercion Resistance in Remote Electronic Voting

Cited by 17 publications

References 35 publications

Blockchain, consensus, and cryptography in electronic voting

Blockchain, consensus, and cryptography in electronic voting

Revisiting Practical and Usable Coercion-Resistant Remote E-Voting

Privacy-oriented cryptographic primitives and protocols for electronic voting

Contact Info

Product

Resources

About