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.