[goalieca]

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]

Running 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.