Supporting EuroS&P’s paper presenting our formal analysis of the Neuchâtel e-voting protocol, the analysis description, files and scripts can be found here :
http://homepages.loria.fr/MTuruani/Neuchatel-Analysis/
This is a commong work with Véronique Cortier and David Galindo.
