The major deficiencies identified for Election Systems & Software were failure to detect election programming changes and errors; inability to determine if tabulation software worked correctly; inability to complete testing threshold of 10,000 ballots due to vendor programming errors; system vulnerable to security attack; and failure to provide auditable data to detect security violations., "February 15, 2008.", Online resource; title from PDF caption (viewed January 2017)
The Hart Software systems and machines were decertified with the major deficiency of a failure to count ballots correctly., "February 15, 2008.", Online resource; title from PDF caption (viewed January 2017)
A trusted build (or trusted compilation) is a build performed with adequate security measures implemented to give confidence that the executable code is a verifiable and faithful representation of the source code. The primary function of a trusted build is to create a chain of evidence which allows stakeholders to have an approved model to use for verification of a voting system., Online resource; title from PDF caption (viewed March 2022)
