Certifying Semantic Robustness of Deep Neural Networks | IEEE Conference Publication | IEEE Xplore