Complexity has broken computer security, says academic who helped spot Meltdown and Spectre flaws

Speaking at the Black Hat Asia conference, Daniel Gruss outlined his belief that while it is possible to make a system provably secure – with great effort – this is seldom done in production.