[kart23]

https://en.m.wikipedia.org/wiki/Bullrun_(decryption_program)

I think you may be underestimating them here, I don't doubt their ability to keep their capabilities secret.