Philip Stark
Statistico della UC Berkeley che nel 2008 introdusse i risk-limiting audit: un modo per verificare un risultato elettorale elettronico contando a mano il minor numero possibile di schede cartacee.
L'idea è facile da enunciare e difficile da formalizzare: si estraggono schede a caso dal registro cartaceo e le si confronta con quanto riportato dalle macchine, finché diventa statisticamente abbastanza improbabile che sia stato proclamato il vincitore sbagliato. Con un margine ampio bastano poche centinaia di schede. Con uno stretto ne servono di più, fino al riconteggio completo nel caso peggiore. Si ottiene un limite superiore garantito alla probabilità che un esito errato sopravviva, qualunque ne sia la causa: un bug o un aggressore.
Il punto è che non occorre fidarsi affatto del software, ma solo della carta e dei dadi. Il Colorado fu il primo Stato a eseguirli su scala statale, nel 2017. Gli esperti di sicurezza ripetevano da anni «conservate la carta»; Stark ha risposto all'ovvia domanda successiva: che cosa farne.