IEEE Computer Society: Insights on Formal Methods in Cybersecurity

Source: IEEE Computer Society

Seven experts, including Galois Rigorous Software Engineering Lead Joe Kiniry, weigh in on the current use and practice of formal methods in cybersecurity.

“FM researchers are pursuing two complementary paths. The bulk of the community continues to focus on foundations (what I call “pure FM”), while the rest of the community looks for opportunities to use FM in practice (“applied FM”). These aren’t disjoint groups, and I find that the latter group is growing over time in response to the increasing need for FM in industry, particularly in matters relating to critical systems and cybersecurity.”