GCHQ didn't appear to make any use of Public Key crypto, even though Clifford Cocks created it.

But maybe there's a bunch of documents that are still secret.