SoK: Certified Robustness for Deep Neural Networks | Publicación