@Inproceedings{EPTCS342.4, author = {Docena, Amel Nestor and Wahl, Thomas and Pearce, Trevor and Fei, Yunsi}, year = {2021}, title = {Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers}, editor = {Kutsia, Temur}, booktitle = {{\rm Proceedings of the 9th International Symposium on} Symbolic Computation in Software Science, {\rm Hagenberg, Austria, September 8-10, 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {342}, publisher = {Open Publishing Association}, pages = {35-48}, doi = {10.4204/EPTCS.342.4}, }