Aquí los resultados de Alhambra EIDOS sobre auditoría forense del sistema voto automatizado