Philip Stark
Estadístico de UC Berkeley que en 2008 propuso las auditorías limitadoras de riesgo: comprobar un resultado electoral electrónico contando a mano el menor número posible de papeletas.
La idea es fácil de enunciar y difícil de calcular: se extraen papeletas al azar del registro en papel y se comparan con lo que informaron las máquinas, hasta que sea estadísticamente lo bastante improbable que se haya proclamado al ganador equivocado. Con un margen amplio bastan unos cientos de papeletas; con uno estrecho hacen falta más, y en el peor caso un recuento completo. Lo que se obtiene es una cota superior garantizada al riesgo de que sobreviva un resultado erróneo, sea por un fallo de software o por un atacante.
La gracia es que no hay que fiarse del software en absoluto, solo del papel y del azar. Colorado fue en 2017 el primer estado en aplicarlas a escala estatal. Los expertos en seguridad llevaban años diciendo «conservad el papel»; Stark respondió a la pregunta obvia de qué hacer después con él.