Re:To Know If the Election Was Hacked, Look at the Ballots
by rubberstamp on Wednesday November 23, 2016 @03:08PM
(#13025447)
Coercion won't be a problem at all if voting places are just like in secret ballot voting. Online connection to a central server isn't even required. Just have an audited code and its verified executable run in a physically secured system.
Re:To Know If the Election Was Hacked, Look at the Ballots
by nfoz on Wednesday November 23, 2016 @03:48PM
(#13025725)
> Just have an audited code and its verified executable run in a physically secured system.
Do any of those exist? Is this possible in practice, in this decade?
Re:To Know If the Election Was Hacked, Look at the Ballots
by rubberstamp on Wednesday November 23, 2016 @10:21PM
(#13027757)
If the runtime code is audited and compiled in a secure compiler then the executable is good and secure. Run it on a clean system(embedded system) which is also physically secure. Its not only possible it already exists. Many countries do have tried and tested such systems (am not sure if compiler is audited by them) used in production.
Banking is a completely different problem. The secrecy requirements are different - in fact, audit trails of all individual transactions are expected. Big transactions are typically individually reviewed by humans. People/organizations can choose their bank. There are multiple banks -> no single target. Transactions can be traced and rolled back, so coercion is less of a problem. Risk is mostly financial.