Ted G. Lewis Collection
Cybersecurity skeptics now embracing formal methods: an interview with Gernot Heiser and Jim Morris
by Ted G. Lewis
May 2017There 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 ...