Apparently many NSA grant codes begin “MDA904”. Try Google Scholar – often authors acknowledge the NSA. Quite a lot of hardcore pure maths. Other stuff too: e.g. bits of logic (satisfiability checking), there’s some probability (with tenuous link to psychology), and a bit of cog sci (an ACT-R model of how people search for information).