On Wed, Feb 18, 2009 at 10:40 PM, Anton van Straaten wrote:

There's also the Condorcet Internet Voting Service:

http://www.cs.cornell.edu/andru/civs.html

This looks like exactly what we need! Any objections? --Max

Rick R writes:

I'm sure Premier Election Solutions (formerly Diebold) can provide us with an online voting solution.

You know, while the recent voting scandals have been milked for all they're worth by the open source community, FP has been very quiet about it. Isn't this an application where correctness matters? How about a proof that the software never loses (or injects) votes, for instance? -k -- If I haven't seen further, it is by standing in the footprints of giants

I think the capabilities community including E and Coyotos/BitC have extensively addressed this topic. Coyotos is taking the correct approach for trusted voting platform. Since, even if your software is trustworthy, it can't be trusted if the OS on which it runs is suspect. However, we might have a few more rigged elections before we see any deliverables from Coyotos. On Thu, Feb 19, 2009 at 2:45 AM, Ketil Malde wrote:

Rick R writes:

...

I'm sure Premier Election Solutions (formerly Diebold) can provide us with an online voting solution.

You know, while the recent voting scandals have been milked for all they're worth by the open source community, FP has been very quiet about it. Isn't this an application where correctness matters? How about a proof that the software never loses (or injects) votes, for instance?

-k -- If I haven't seen further, it is by standing in the footprints of giants

-- We can't solve problems by using the same kind of thinking we used when we created them. - A. Einstein

2009/2/19 Luke Palmer :

2009/2/19 Rick R

...

I think the capabilities community including E and Coyotos/BitC have extensively addressed this topic. Coyotos is taking the correct approach for trusted voting platform. Since, even if your software is trustworthy, it can't be trusted if the OS on which it runs is suspect.

Woah, that's a pretty interesting question! How do you write software which is protected against a malicious operating system (mind -- not erroneous, but rather somebody detecting the software you're running and changing your vote). Maybe some sort of randomized cryptographic technique, in which, with high probability, the OS either runs your program correctly or causes it to crash. Luke

Free associating: "Static Typing for a Faulty Lambda Calculus" http://lambda-the-ultimate.org/node/2108 "A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorrect program execution by altering signal transfers or stored values....This paper defines the first formal, type-theoretic framework for studying reliable computation in the presence of transient faults. More specifically, it defines lambda-zap, a lambda calculus that exhibits intermittent data faults. In order to detect and recover from these faults, lambda-zap programs replicate intermediate computations and use majority voting, thereby modeling software-based fault tolerance techniques studied extensively, but informally. To ensure that programs maintain the proper invariants and use lambda-zap primitives correctly, the paper defines a type system for the language. This type system guarantees that well-typed programs can tolerate any single data fault. To demonstrate that lambda-zap can serve as an idealized typed intermediate language, we define a type-preserving translation from a standard simply-typed lambda calculus into lambda-zap." -- gwern

This looks very promising! Investigating... anton:

There's also the Condorcet Internet Voting Service:

http://www.cs.cornell.edu/andru/civs.html

gregg reynolds wrote:

...

See also www.surveymonkey.com

Bulat Ziganshin wrote:

...

Hello haskell-cafe,

http://zohopolls.com/

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe