Josh Benaloh
Altre info
- Affiliazione
- Microsoft Research
- Noto per
- Elezioni verificabili, crittosistema di Benaloh, ElectionGuard
Il crittografo che da quarant'anni si dedica a una sola domanda: come dimostrare che un voto è stato conteggiato correttamente senza rivelare quale fosse?
Benaloh si addottorò a Yale nel 1987 con una tesi sulle elezioni a scrutinio segreto verificabili, molto prima che il voto elettronico diventasse un tema politico. Il suo crittosistema omomorfico additivo, un'estensione di Goldwasser–Micali, permette di sommare le schede cifrate senza decifrarne nessuna. Nel 1994 lui e Dwight Tuinstra mostrarono come rendere le elezioni a prova di ricevuta, così che nessun elettore possa dimostrare a un compratore di voti come ha votato.
La sfida di Benaloh consente all'elettore di chiedere alla macchina di rivelare come è stata cifrata una scheda e poi di scartarla; una macchina truccata non sa mai quali schede saranno controllate. In Microsoft Research ha guidato il lavoro dietro ElectionGuard, un SDK aperto per elezioni verificabili end-to-end usato per la prima volta davvero a Fulton, Wisconsin, nel 2020. La sua tesi di fondo: gli elettori non dovrebbero fidarsi della macchina, ma solo della matematica.