We found several documents which describe the Navy‘s current funding for Tor-related research in order to boost Tor‘s use by the Navy for communications. More fully described at the web page of DARPA‘s SAFER program.
From that page we traced the the Navy contract to SRI International as pass-through to Tor as well as to several research projects aimed at enhancing Tor. Many of these included Tor researchers on the team.