Towards Proving the Adversarial Robustness of Deep Neural Networks

In: Proc. 12th IEEE Int. Conf. on Computer Vision (ICCV)

K. Jarrett, K. Kavukcuoglu & Y. LeCun (2009): What is the Best Multi-Stage Architecture for Object Recognition? · 2009

Earlier work this paper cites.

In: Proc. 27th Int. Conf. on Machine Learning (ICML)

V. Nair & G. Hinton (2010): Rectified Linear Units Improve Restricted Boltzmann Machines · 2010

Earlier work this paper cites.

In: Proc. 22nd Int. Conf. on Computer Aided Verification (CAV)

L. Pulina & A. Tacchella (2010): An Abstraction-Refinement Approach to Verification of Artificial Neural Networks · 2010

Earlier work this paper cites.

In: Proc. 14th Int. Conf. on Artificial Intelligence and Statistics (AISTATS)

X. Glorot, A. Bordes & Y. Bengio (2011): Deep Sparse Rectifier Neural Networks · 2011

Earlier work this paper cites.

IEEE Signal Processing Magazine

G. Hinton, L. Deng, D. Yu, G. Dahl, A. Mohamed, N. Jaitly, A. Senior, V. Vanhoucke, P. Nguyen, T. Sainath & B. Kingsbury (2012): Deep Neural Networks for Acoustic Modeling in Speech Recognition: The Shared Views of Four Research Groups · 2012

Earlier work this paper cites.

Advances in Neural Information Processing Systems

A. Krizhevsky, I. Sutskever & G. Hinton (2012): Imagenet Classification with Deep Convolutional Neural Networks · 2012

Earlier work this paper cites.

AI Communications

L. Pulina & A. Tacchella (2012): Challenging SMT Solvers to Verify Neural Networks · 2012

Earlier work this paper cites.

In: Proc. 30th Int. Conf. on Machine Learning (ICML)

A. Maas, A. Hannun & A. Ng (2013): Rectifier Nonlinearities improve Neural Network Acoustic Models · 2013

Cited alongside, same era.

Technical Report. http://arxiv.org/abs/1312.6199

Original

C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan, I. Goodfellow & R. Fergus (2013): Intriguing Properties of Neural Networks · 2013

Cited alongside, same era.

IEEE Transactions on Robotics

M. Althoff & J. Dolan (2014): Online Verification of Automated Road Vehicles using Reachability Analysis · 2014

Cited alongside, same era.

Technical Report. http://arxiv.org/abs/1412.6572

Original

I. Goodfellow, J. Shlens & C. Szegedy (2014): Explaining and Harnessing Adversarial Examples · 2014

Cited alongside, same era.

In: Proc. 21st Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

J.-B. Jeannin, K Ghorbal, Y. Kouskoulas, R. Gardner, A. Schmidt, E. Zawadzki & A. Platzer (2015): A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System · 2015

MIT Press

I. Goodfellow, Y. Bengio & A. Courville (2016): Deep Learning · 2016

Later among the works it cites.

Technical Report. http://arxiv.org/abs/1610.06940

Original

X. Huang, M. Kwiatkowska, S. Wang & M. Wu (2016): Safety Verification of Deep Neural Networks · 2016

Later among the works it cites.

In: Proc. 35th Digital Avionics Systems Conf. (DASC)

K. Julian, J. Lopez, J. Brush, M. Owen & M. Kochenderfer (2016): Policy Compression for Aircraft Collision Avoidance Systems · 2016

Later among the works it cites.

Technical Report. http://arxiv.org/abs/1607.02533

Original

A. Kurakin, I. Goodfellow & S. Bengio (2016): Adversarial Examples in the Physical World · 2016

Later among the works it cites.

In: Proc. 38th Symposium on Security and Privacy (SP)

N. Carlini & D. Wagner (2017): Towards Evaluating the Robustness of Neural Networks · 2017

Closest in time.