Comment Compiler solution? (Score 4, Interesting) 95
This requires one of the two computers to have an infrequent hardware error. If one assumes a low error rate (1 in a billion) and a multi-core processor, then it should be possible to fix this class of bugs in software.
Theoretically, it should be possible to create a compiler that takes any given encryption algorithm, compiles it in two different heterogeneous ways, confirms the calculation, and only sends correct information out over the wire. This is already done in some safety sensitive applications, often with two processors to run each of the two different programs.
For software like SSH, the software would need to move to coding security sensitive algorithms with language / compiler / toolchain that automatically confirms the results before sending them out.