On voting machine design for verification and testability.

Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner

Browse the full CCS paper archive.