Guaranteeing AI Robustness against Deception