ONCD works to promote mathematical methods for ensuring cybersecurity outcomes

The Office of the National Cyber Director is exploring how to apply advanced methods of analysis to mathematically prove that technology products are secure by design, according to Anjana Rajan, who leads tech security efforts under NCD Harry Coker.

“We know that the use of ‘formal methods’ is mission-critical for ensuring the security and trustworthiness of our national security systems,” Rajan told Inside Cybersecurity on the sidelines of the Billington Cybersecurity Summit. Rajan said the federal government is specifically investigating...