@inproceedings {reluval:security18,
        author = {Shiqi Wang and Kexin Pei and Justin Whitehouse and Junfeng Yang and Suman Jana},
        title = {Formal Security Analysis of Neural Networks using Symbolic Intervals},
        year = {2018},
        booktitle = {Proceedings of the 27th USENIX Security Symposium},
}