On the Robustness of Domain Constraints

@inproceedings{10.1145/3460120.3484570,
  author    = {Sheatsley, Ryan and Hoak, Blaine and Pauley, Eric and Beugin, Yohan and Weisman, Michael J. and McDaniel, Patrick},
  title     = {On the Robustness of Domain Constraints},
  year      = {2021},
  isbn      = {9781450384544},
  publisher = {Association for Computing Machinery},
  address   = {New York, NY, USA},
  url       = {https://doi.org/10.1145/3460120.3484570},
  doi       = {10.1145/3460120.3484570},
  abstract  = {Machine learning is vulnerable to adversarial examples--inputs designed to cause models to perform poorly. However, it is unclear if adversarial examples represent realistic inputs in the modeled domains. Diverse domains such as networks and phishing have domain constraints--complex relationships between features that an adversary must satisfy for an attack to be realized (in addition to any adversary-specific goals). In this paper, we explore how domain constraints limit adversarial capabilities and how adversaries can adapt their strategies to create realistic (constraint-compliant) examples. In this, we develop techniques to learn domain constraints from data, and show how the learned constraints can be integrated into the adversarial crafting process. We evaluate the efficacy of our approach in network intrusion and phishing datasets and find: (1) up to 82% of adversarial examples produced by state-of-the-art crafting algorithms violate domain constraints, (2) domain constraints are robust to adversarial examples; enforcing constraints yields an increase in model accuracy by up to 34%. We observe not only that adversaries must alter inputs to satisfy domain constraints, but that these constraints make the generation of valid adversarial examples far more challenging.},
  booktitle = {Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security},
  pages     = {495–515},
  numpages  = {21},
  keywords  = {constraint satisfaction, constraint learning, adversarial machine learning, formal logic},
  location  = {Virtual Event, Republic of Korea},
  series    = {CCS '21}
}