Realignment of $100 million research investment to prioritize the mathematical foundations of computer science to improve cyber security. Critical applications require a full understanding of software and its behavior.
Incentivizing Strategic Cybersecurity Changes