If you think your software is secure, get ready to prove it.