Former ONCD official urges defense industrial base to integrate formal methods to ensure software cyber resilience
Former ONCD official urges defense industrial base to integrate formal methods to ensure software cyber resilience
Former Office of the National Cyber Director official Anjana Rajan said the defense industrial base should move toward integrating formal methods to prove software is secure from cyber vulnerabilities, as the Defense Department and other agencies look to prioritize efficiencies.