A "high-assurance application" is one that the NSA cares about, so will actually spend their money to fund a research project. Otherwise, it is awfully hard to get funding for PL research.

Edit: please read the website, this really is funded by the NSA.