Version 20111110:012334 (posted 10-Nov-2011 01:23:34 UTC) contains a more detailed description of our results and includes complete proofs.
Forum: 2010 Reports
Version 20110321:170045 (posted 01-Jun-2011 12:17:16 UTC) adds further attacks against electronic voting schemes which do not assure ballot independence; in particular, we consider the protocols by Le
Forum: 2010 Reports
Version 20110321:170045 (posted 21-Mar-2011 17:00:45 UTC) proposes a fix and proves that the solution satisfies a formal definition of ballot secrecy using the applied pi calculus.
Forum: 2010 Reports
Version 20101217:132825 (posted 17-Dec-2010 13:28:25 UTC) adds a further variant of this attack on page 9 and makes a few minor revisions.
Forum: 2010 Reports
Version 20101208:231546 (posted 08-Dec-2010 23:15:46 UTC) of 2010/625 omitted 1.5 sentences of text due to an editing error. We are grateful to Charles Bouillaguet for notifying us of this mistake.
Forum: 2010 Reports