CBD: A Certified Backdoor Detector Based on Local Dominant Probability - Xiang, Zhen; Xiong, Zidi; Li, Bo (Advances in Neural Information Processing Systems, 2023)