Verified Security and Performance Enhancement of Large Legacy Systems (V-SPELLS) Sponsor DARPA Lead PI Daniel Balasubramanian