<div dir="ltr">Well my main machine suddenly shut down last night right after I managed to successfully send an encrypted mail and read it at the other end.<div><br></div><div>The water cooling loop was out of coolant despite the claim of the manufacturer that it was 'maintenance free'. So obviously a STUXNET type attack.</div>
<div><br></div><div><br></div><div>In reference to the other thread on how to check code. My approach is to use a code synthesizer and bring the code as close as possible to the spec. If someone wants to audit the code they can read the generated code which is very plain vanilla and exceptionally regular. They can also look at the generator and see if it has special case handling for particular specs.</div>
<div><br></div><div>Sure someone could bongo the synthesizer, just like they could bongo the compiler. But that would be very hard to sustain.</div></div>