This is completely rose tinted glasses. There have always been lots of techniques that people claimed as magic bullets for security. They were there in the 196

This is completely rose tinted glasses. There have always been lots of techniques that people claimed as magic bullets for security. They were there in the 1960s-80s, and there still are. And yet Modern OS's, routers, basic apps are much more secure than the equivalents then. I mean in the 1970s, there was the Ken Thompson backdoor and no one knew about it until he disclosed it in his ACM Awards acceptance speech[1]. Nowdays there are provably secure kernels[2] in real world deployments, and high assurance kernels[3] in billions more. [1] https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html [2] https://ts.data61.csiro.au/projects/seL4/ https://ts.data61.csiro.au/projects/seL4/ [3] https://en.wikipedia.org/wiki/L4_microkernel_family#Commercial_deployment https://en.wikipedia.org/wiki/L4_microkernel_family#Commerci...