Prove All Things: Conditional Security