Coercion Resistance in a Practical Secret Voting Scheme for Large Scale Elections

Grontas, Panagiotis; Pagourtzis, Aris; Zacharakis, Alexandros

doi:10.1109/ispan-fcst-iscc.2017.79

Cited by 9 publications

(8 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This framework has been applied to the Civitas system (Clarkson et al, 2008). An alternative implementation appears in (Grontas et al, 2017). A weaker and simpler version of coercion resistance can also be found in Helios (Adida, 2008), where the voter casts many ballots with the same credential but only the last vote counts.…”

Section: Privacymentioning

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: Privacymentioning

confidence: 99%

Blockchain, consensus, and cryptography in electronic voting

Grontas¹,

Pagourtzis²

2019

HomVir

Self Cite

View full text Add to dashboard Cite

show abstract

“…CBS και PACBS Η κύρια ιδέα που αναπτύσσεται στη διατριβή προέρχεται από την παρατήρηση ότι εάν ο έλεγχος για τον προσδιορισμό της εγκυρότητας ψήφου του JCJ μπορούσε να μετακινηθεί στη φάση εξουσιοδότησης, όπως αυτή που εκτελείται στο πρωτόκολλο FOO, τότε θα μπορούσαμε να χρησιμοποιήσουμε τις πληροφορίες ταυτότητας των ψηφοφόρων για να ομαδοποιήσουμε τα διαπιστευτήρια ανά ταυτότητα και να μειώσουμε τον τετραγωνικό αριθμό συγκρίσεων σε γραμμικό [GPZ17]. Επομένως, η εκλογική αρχή εγγραφής θα γνωρίζει εάν πρέπει να μετρηθεί μια ψήφος.…”

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

“…Ψηφοφορίες με PACBS Η κύρια συνεισφορά της εργασίας είναι ένα πρωτόκολλο ηλεκτρονικών ψηφοφοριών που συνδυάζει τα σχήματα FOO και JCJ χρησιμοποιώντας τις PACBS. Η γενική αρχιτεκτονική του πρωτοκόλλου [GPZ17] έχει τους εξής στόχους:…”

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

“…We begin the exposition by detailing a simpler version, Conditional Blind Signatures -CBS, from [GPZ17], that lacks the auditability properties in order to clearly illustrate the operation and security model of the primitive. We then equip CBS with auditable evidence, arriving to PACBS from [Gro+20].…”

Section: Russian Proverbmentioning

confidence: 99%

“…As we saw in section 4.4.2, there have been many efforts in the literature, trying to speed up this process, without sacrificing coercion resistance and verifiability. Our approach was first detailed in [GPZ17], where we noted a new possibility stemming from the combination of the scheme in [FOO92] with its variations and [JCJ05]-type schemes.…”

Section: Overviewmentioning

confidence: 99%

See 2 more Smart Citations

Privacy-oriented cryptographic primitives and protocols for electronic voting

Γροντάς¹

View full text Add to dashboard Cite

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

show abstract