Qian Zeng, Anjie Peng, Fei Deng, Hui Zeng: Accelerated Robustness Certification for Diffusion Denoised Smoothing Based on Image Super-Resolution. CISP-BMEI 2024: 1-6