C'est assez désolant

En complément à l'étude de l'article de
Sciences & Vie, cet extrait de mon blog :

" Je viens de voir ton blog. Au sujet
du vote électronique, J. Paul Gibson a fait
un exposé le troisième jour sur ce sujet.
 Il est irlandais et a étudié les votes
électroniques irlandais, puis, beaucoup
de systèmes de votes un peu partout.
C'est assez désolant, car il y a beaucoup
 d'erreurs et on ne peut rien vérifier
après coup. Même les standards ne sont
 pas bien définis, avec des
recommandations qui ne peuvent
pas s'implémenter. "

m'écrit un participant à la
conférence B 2007.


Voici des références de papiers
 de J. Paul Gibson relatifs au e-voting :

/ A Critical Analysis of the
Council of Europe Recommendations
on E-voting Standards/,
Margaret McGaley and * Gibson, J. Paul*,
published in the proceedings
 <http://www.usenix.org/events/evt06/tech/>
 of the
2006 USENIX/ACCURATE Electronic Voting
 Technology Workshop
(EVT'06 <http://www.usenix.org/events/evt06/>)
, Vancouver, Canada, July 31st -
August 4th 2006.

/E-voting: a safety critical system/,
Margaret McGaley and *Gibson, J. Paul*,
* Technical Report:* NUI Maynooth,
Computing Science Department,
 NUIM-CS-TR2003-02,
2003.
* Final PDF
<http://www.cs.nuim.ie/%7Epgibson/
Research/Publications/E-Copies/
NUIM-CS-2003-TR-02.pdf>(45k)
* CiteSeer citation
<http://citeseer.ist.psu.edu/568403.html>

/Refinement: a constructive approach
 to formal software design for
a secure e-voting interface/,
Dominique Cansell,
* Gibson, J. Paul*, and Dominique Méry.
Accepted by the  1st International
Workshop on
Formal Methods for Interactive Systems
(FMIS 2006 <http://fmis.iist.unu.edu/>),
 Macau SAR China, 31st October 2006.
For publication in the  ENTCS
<http://www.elsevier.com/wps/find/
journaldescription.cws_home/681021/description>.