
The goal of the project, entitled "AxE Javascript: Auditable E-voting using Javascript", is to bring a solution to confidence problems in the field of security in electronic voting systems through the development of an e-voting software with the highest possible correctness and security properties. Identifying and defining properties for security in e-voting systems and developing and implementing new methods providing real evidence of correctness and security in these systems. This will allow an important improvement in the transparency of e-voting systems used by electoral organizations.