The IMDEA Software Institute participates in a new project funded by MINECO within the framework of RETOS-Colaboración 2016 call, coordinated by Scytl.

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. The project includes the participation of IMDEA Software researcher Gilles Barthe.

El Ministerio de Economía, Industria y Competitividad (MINECO), dentro del Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016, concedió ayuda al proyecto “DataMantium: Computación y comunicaciones seguras en la nube para entornos hostiles” con número de expediente RTC-2016-4930-7, coordinado por SCYTL. Este proyecto ha sido cofinanciado por el Fondo Europeo de Desarrollo Regional (FEDER) y el Ministerio de Economía, Industria y Competitividad dentro del Subprograma RETOS-COLABORACIÓN, Convocatoria 2016. El objetivo principal para esta convocatoria es promover el desarrollo tecnológico, la innovación y una investigación de calidad.