Researchers are looking at constructing code in a way that makes it invulnerable to attack. By hardening the system through what DARPA calls the “Formal Method,” the code can deny attackers the ability to move laterally from other connected systems.
High Assurance Cyber Military Systems: Writing stronger code
