From helicopters to medical devices and power stations, mathematical proof that software at the heart of an operating system is secure could keep hackers out.

Read more