Philip Stark
2008'de risk sınırlayan denetimleri (risk-limiting audit) ortaya atan UC Berkeley istatistikçisi: elektronik bir seçim sonucunu mümkün olan en az sayıda kağıt oy pusulasını elle sayarak doğrulamanın yolu.
Fikri söylemek kolay, matematiğini yapmak zor: kağıt kayıttan rastgele pusulalar çekilir ve makinelerin bildirdiğiyle karşılaştırılır; yanlış kazananın ilan edilmiş olması istatistiksel olarak yeterince olası olmaktan çıkana dek sürer. Geniş bir farkta birkaç yüz pusula yeter. Dar bir farkta daha fazlası gerekir, en kötü durumda tam yeniden sayıma kadar. Elde edilen şey, yanlış sonucun ayakta kalma olasılığına dair garantili bir üst sınırdır; nedeni ister hata ister saldırgan olsun.
Mesele, yazılıma hiç güvenmek zorunda olmamanız: yalnızca kâğıda ve zara güvenirsiniz. Colorado, 2017'de bunları eyalet çapında uygulayan ilk eyalet oldu. Güvenlik uzmanları yıllardır "kâğıdı tutun" diyordu; Stark bunun ardından gelen bariz soruyu, yani onunla gerçekte ne yapılacağını yanıtladı.