[Stratcom] Vote electronique: le challenge

[cdc]

On Thu, Nov 05, 2015 at 08:24:39PM +0100, Thomas Vermorel wrote:
> Hello.
> A l'issu du débat l'équipe du maire président de l'asso en faveur des
> machines à voter m'est tombé dessus.
> Ils m'ont invité/défié à pirater l'une de leurs bécannes la veille du
> scrutin.
> 
> Ça vous inspire? On a des contacts qui sauraient faire? Chiche?

Cette proposition me paraît bien étrange, il suffit de se pencher sur
le sujet [du piratage en général] pour ce rendre compte qu'on trouve
toujours des failles. Il ne s'agit donc pas de dire "est-ce
piratable", mais plutôt "quand est-ce que ce sera piraté".  Il est
bien naïf de penser qu'une machine electronique n'est pas piratable,
surtout lorsqu'on voit que même les sociétés de défense et les
distributeurs de billets se font pirater !

De plus, le piratage n'est pas le seul problème des machines à voter,
il y a aussi: 

- les bugs (est-ce que le programme de vote a été formellement prouvé [1]),

- la fraude,

- la désanonymisation (le moment de la saisie peut suffir), ...

Et pour finir, voici les deux scénarios possible:

1. la machine se fait pirater, et le pirate se retrouvera devant le
   juge (le maire ne peut pas suspendre la loi le temps d'un défis)

2. la machine ne se fait pas pirater, et on a pas prouvé que c'était
   infaillible.

Cédric.

[1] https://fr.wikipedia.org/wiki/M%C3%A9thode_formelle_%28informatique%29