Estonian E-Voting Source Code Made Public
How does a voter or independent voter know that the code that has been verified is actually running on the machine that they connect to?You have to trust the sys admins.  And as we all know: something is trusted if it can break your security policy.