@conference {283, title = {Provable Adversarial Safety in Cyber-Physical Systems}, booktitle = {Proceedings of the 8th IEEE European Symposium on Security and Privacy (EuroS\&P)}, year = {2023}, month = {July}, pages = {979-1012}, author = {J.H. Castellanos and M. Maghenem and A. Cardenas and R.G. Sanfelice and J. Zhou} }