Certifiably Adversarially Robust Detection of Out-of-Distribution Data - Bitterwolf, Julian; Meinke, Alexander; Hein, Matthias (Advances in Neural Information Processing Systems, 2020)