Weekend reading not directly related to LP: "One Giant Leap for Computer Security"

Weekend reading not related to LP … (but one of the reasons why LP is of interest for the future, if it can help the programmer more in modeling, code maintenance and debugging)

One Giant Leap for Computer Security (Hamed Okhravi, Nathan Burow, Richard Skowyra, Bryan C. Ward, Samuel Jero, Roger Khazan, and Howard Shrobe - MIT)

Appears in: IEEE Security & Privacy, Vol 18, No. 4, July/August 2020

Today’s computer systems trace their roots to an era of trusted users and highly constrained hardware; thus, their designs fundamentally emphasize performance and discount security. This article presents a vision for how small steps using existing technologies can be combined into one giant leap for computer security.

In reality, the quality of the memory safety guarantee depends on the quality of the language’s
compiler and runtime.

I just have to disagree with that. That does not see the problem for what it is. They need to look under the covers and look back in history to see where and when the wrong decision was made that led us down the path allowing for bugs.