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.