Certifiable AI Security against Localized Corruption Attacks