> Date: Fri, 28 Jul 2000 07:35:42 -0700
> From: "James A. Donald" <[EMAIL PROTECTED]>
> "Provably secure" is a word applicable to cyphers, not protocols. To use
> it in reference to a protocol is nonsense gibberish.
No, it is just more difficult to establish of protocols than of
primitives bec
To pick nits, this is not completely accurate. What is at odds with
non-coercibility is the ability to demonstrate to a third party how
one voted. But there are techniques that allow a voter to verify that
his/her vote was counted correctly without being able to prove this to
others. (Not that
According to a source in the area who I consider to be reliable,
Dominic Mayers's impossibility theorem applies, and this result is
therefore incorrect. I'd thus encourage people to check the paper
thoroughly before relying on its results. I haven't done so myself
because I suspect much of the q
