How to use cipher programs without trusting them.