Mastodon Feed
Boosted by mattblaze@federate.social ("Matt Blaze"):
mattblaze@federate.social ("Matt Blaze") wrote:
We can make our elections trustworthy in spite of the inevitable security weaknesses in equipment!
How? By using an architecture that *tolerates* security flaws instead of requiring you to eliminate them. This is called "Software Independence", formalized by Ron Rivest (the R in RSA) about 15 years ago.
Ron is giving a talk at the Voting Village this year.
Software Independence is achieved with something called "Risk Limiting Audits", invented by Philip Stark.
Philip is also giving a talk.