They may look and look, yet not see: BMDs cannot be tested adequately

Philip B. Stark, Ran Xie

Bugs, misconfiguration, and malware can cause ballot-marking devices (BMDs) to print incorrect votes. Several approaches to testing BMDs have been proposed. In logic and accuracy t…