Certified Anomaly Detection & Outlier Analytics