Colorado’s new vote checks could help discover a vote hack

Archer News | You did your civic duty. You voted. You may even get a red, white and blue sticker to wear proudly on your T-shirt. But are you sure your vote will be counted — and counted properly? If your state uses computers for voting or counting results, there’s a chance it may not, experts say. 

Read More

Hackers Eviscerate Election Tech Security…who’s suprised?

WhoWhatWhy | Over the past two days, all major US news outlets breathlessly reported that hackers in Las Vegas needed little time to expose the security flaws of several types of voting machines this weekend. While it is certainly nice to see the mainstream media cover election integrity issues more than once every four years, anybody following the topic, as WhoWhatWhy routinely does, was hardly surprised that the hackers were so successful.

Read More

Colorado to require advanced post-election audits

Politico | Colorado on Monday said it will become the first state to regularly conduct a sophisticated post-election audit that cybersecurity experts have long called necessary for ensuring hackers aren’t meddling with vote tallies. The procedure — known as a “risk-limiting” audit — allows officials to double-check a sample of paper ballots against digital tallies to determine whether results were tabulated correctly. The election security firm Free & Fair will design the auditing software for Colorado, and the state will make the technology available for other states to modify for their own use.

Read More

Colorado hires startup to help audit digital election results

The Hill | The state of Colorado is moving to audit future digital election results, hiring a Portland-based startup to develop software to help ensure that electronic vote tallies are accurate. The startup Free & Fair announced on Monday that it had been selected by the state to develop a software system for state and local election officials to conduct what are called “risk-limiting audits.”

Read More

Free & Fair to build risk-limiting audit system for State of Colorado

Colorado has chosen Free & Fair to build a risk-limiting audit (RLA) system to be used statewide beginning with the November 2017 general election.

Read More

Recent Responses

We have replied to number of RFPs and RFIs in recent months, including Geneva, Switzerland’s E2E Internet Voting System RFP, Canada’s Voting Services Modernization/Polling Place Process Enhancement RFI, Los Angeles County’s Voting System Assessment Project (VSAP) RFI, and Colorado’s Risk Limiting Audit DQ.

Read More

Sounding the Alarm

As the Senate Intelligence Committee’s hearing on Russian Interference in the 2016 U.S. Elections brings concerns about election cybersecurity further into public view, security experts have been sounding the alarm behind the scenes for years to elected officials and federal agencies

Read More

Georgia special election disruption concerns rise after 6.7M records leaked

SC Magazine | Several security vulnerabilities in systems used to manage Georgia’s election technology, exposing the records of 6.7 million voters months before the nation most expensive House race slated for June 20, has raised the fears that the election could be disrupted.

Read More

Could Travis County Have The Best Bet Against Election Hacking?

Texas Monthly | Revelations that Russian hackers tried to break into Dallas County’s web servers, likely with the intention of accessing voter registration files, in the lead up to last November’s election renewed concerns about Texas election security. Both Wednesday night’s news out of Dallas and a Bloomberg report on Monday—which said that the Russian hacking attempts affected 39 states—are forcing states to look inward and re-examine the security of their local and state-level electoral technologies.

Read More

Guest Post: A first taste of formal software methods

Design Automation Engineer Leior Varon has been poking around at Free & Fair recently and has offered to reflect on what he’s been learning. Varon has a background in electrical engineering, but became interested in F&F’s use of formal methods in software system design. So, in order to get his feet wet in this world, Varon spent 6 weeks creating and implementing the formal specifications for Qubie, our Poll Queue Monitor. Here are his reflections.

Read More