The Anatomy of an Electronic Voting Machine: What We Know an