3 ms·
In the world of iot devices, cell phones, and banking apps sorely needs formally verified code. It's kind of anti-agile but engineering still needs to happen in
by goalieca 9y ago
In the world of iot devices, cell phones, and banking apps sorely needs formally verified code. It's kind of anti-agile but engineering still needs to happen in the backend of everything. Sadly, market pressures means shipping these shitty codes the moment it boots.
I like the idea of a formally verified https and crypto libraries because people re-use libraries quite extensively. Putting a few million dollars into critical infrastructure would be a very wise investment.
- zihotki 9y agoRunning hacker-proof software on hacker-not-proven hardware will not solve the issue. Only the attack vector will become harder and more expensive in development. It may become a death for hack-kiddies but surely there will be somebody who is willing to pay.