Linked Presentation: DiffSmooth: Certifiably Robust Learning via Diffusion Models and Local Smoothing