Carnegie Mellon's Franz Franchetti Receives Defense Department Funding To Develop Safer Software Technologies