Adversarial cryptography models from complexity theory can be applied to validate AI systems and test for unwanted properties like deception, representing an opportunity for academic computer science to contribute to AI safety.