IT-lexicon › Beveiliging › Philip Stark

Philip Stark

Beveiliging Svenska → Bijgewerkt: 2026-10-17

Statisticus aan UC Berkeley die in 2008 de risk-limiting audit introduceerde: een manier om een elektronische verkiezingsuitslag te controleren door zo weinig mogelijk papieren stembiljetten met de hand te tellen.

Het idee is eenvoudig te formuleren en lastig door te rekenen: trek willekeurig stembiljetten uit de papieren administratie en vergelijk ze met wat de machines meldden, tot het statistisch voldoende onwaarschijnlijk is dat de verkeerde winnaar is aangewezen. Bij een grote voorsprong volstaan enkele honderden biljetten. Bij een krappe uitslag zijn het er meer, in het slechtste geval een volledige hertelling. Het resultaat is een gegarandeerde bovengrens aan de kans dat een onjuiste uitslag blijft staan, of de oorzaak nu een bug of een aanvaller was.

Het punt is dat je de software helemaal niet hoeft te vertrouwen, alleen het papier en de dobbelstenen. Colorado voerde ze in 2017 als eerste staat landelijk uit. Beveiligers zeiden al jaren "bewaar het papier"; Stark gaf antwoord op de voor de hand liggende vervolgvraag wat je daar dan mee moet doen.

← Terug naar het lexicon