2010 Reports :  Cryptology ePrint Archive Forum
Discussion forum for Cryptology ePrint Archive reports posted in 2010. Please put the report number in the subject.  
Goto Thread: PreviousNext
Goto: Forum ListMessage ListNew TopicSearchLog In
2010/625: Reason for revision 3
Posted by: Ben.Smyth (IP Logged)
Date: 21 March 2011 17:17

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.



Please log in for posting a message. Only registered users may post in this forum.