Philip Stark
Statisticien de l'UC Berkeley qui a introduit en 2008 les audits limitant le risque, une façon de vérifier un résultat électoral électronique en comptant à la main le moins de bulletins papier possible.
L'idée est simple à énoncer et ardue à mettre en équations : tirer des bulletins au hasard dans le registre papier et les comparer à ce qu'ont annoncé les machines, jusqu'à ce qu'il devienne statistiquement trop improbable que le mauvais vainqueur ait été proclamé. Un large écart ne demande que quelques centaines de bulletins. Un écart étroit en exige davantage, jusqu'au recomptage complet dans le pire des cas. On obtient une borne supérieure garantie sur la probabilité qu'un résultat erroné survive — que la cause soit un bogue ou un attaquant.
Tout l'intérêt est de ne pas avoir à faire confiance au logiciel, seulement au papier et aux dés. Le Colorado est devenu en 2017 le premier État à les pratiquer à l'échelle de tout son territoire. Les spécialistes de la sécurité répétaient depuis des années « gardez le papier » ; Stark a répondu à la question qui suivait naturellement : qu'en faire, concrètement ?