P. 16-30This paper shows the lack of standard procedures to audit e-voting systems and also describes a practical
process of auditing an e-voting experience based on a Direct-recording Electronic system (D.R.E). This system
has been tested in a real situation, in the city council of Coahuila, Mexico, in November 2008. During the
auditing, several things were kept in mind, in particular those critical in complex contexts, as democratic
election processes are. The auditing process is divided into three main complementary stages: analysis of
voting protocol, analysis of polling station hardware elements, and analysis of the software involved. Each
stage contains several items which have to be analyzed at low level with the aim to detect and resolve possible
security problemsS
