On July 28, the Defense Advanced Research Projects Agency (DARPA) launched the Verified Security and Performance Enhancement of Large Legacy…