A formal analysis of the Neuchâtel e-voting protocol

blabla