<div class="gmail_quote">2009/2/19 Rick R <span dir="ltr"><<a href="mailto:rick.richardson@gmail.com">rick.richardson@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
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. </blockquote>
<div><br></div><div>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.</div>
<div><br></div><div>Luke</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">However, we might have a few more rigged elections before we see any deliverables from Coyotos.<div class="Ih2E3d">
<br>
<br><br><div class="gmail_quote">On Thu, Feb 19, 2009 at 2:45 AM, Ketil Malde <span dir="ltr"><<a href="mailto:ketil@malde.org" target="_blank">ketil@malde.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left:1px solid rgb(204, 204, 204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
<div>Rick R <<a href="mailto:rick.richardson@gmail.com" target="_blank">rick.richardson@gmail.com</a>> writes:<br>
<br>
> I'm sure Premier Election Solutions (formerly Diebold) can provide us with<br>
> an online voting solution.<br>
<br>
</div>You know, while the recent voting scandals have been milked for all<br>
they're worth by the open source community, FP has been very quiet<br>
about it. Isn't this an application where correctness matters? How<br>
about a proof that the software never loses (or injects) votes, for<br>
instance?<br>
<br>
-k<br>
<font color="#888888">--<br>
If I haven't seen further, it is by standing in the footprints of giants<br>
</font></blockquote></div><br><br clear="all"><br></div><div><div></div><div class="Wj3C7c">-- <br>We can't solve problems by using the same kind of thinking we used when we created them. <br> - A. Einstein<br>
</div></div><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br>