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