Interviews are organized by the month and year in which they first appeared. To find an interviewee by name, use the search bar (at upper right).
Cybersecurity skeptics now embracing formal methods: an interview with Gernot Heiser and Jim Morris
by Ted G. Lewis
There is new hope for those who despair securing computer systems from external hackers. The recent DARPA HACMS project demonstrated conclusively that "certain pathways for attackers have all been shut down in a way that's mathematically proven to be unhackable for those pathways." Continuing research at DARPA and IARPA will eventually shut down all the pathways, and the external hackers will be out of business permanently.