Section outline

  • 1. Το σύστημα ηλεκτρονικών ψηφοφοριών Helios

    2. Προβλήματα κατά την κατασκευή μη αλληλεπιδραστικών αποδείξεων μηδενικής γνώσης λόγω χρήσης του weak Fiat Shamir Transform και συνέπειες στην επαληθευσιμότητα.

    3. Μοντέλα επαληθευσιμότητας.

    4. Απόδειξη weak verifiability του Helios

    5. Παραλλαγές για strong verifiability

    Διαφάνειες

    Βίντεο της διάλεξης [Απαιτείται συνθηματικό. Ισχύουν περιορισμοί χρήσης (δείτε παραπάνω)]