You can have the best cryptography in the world, but if the software running it has a back door, the proof doesn't mean much.