
Departmental Papers (CIS)
Date of this Version
4-9-2013
Document Type
Conference Paper
Recommended Citation
Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee, "Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract", Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13) , 75-76. April 2013. http://dx.doi.org/10.1145/2461446.2461457
Subject Area
CPS Embedded Control, CPS Auto
Publication Source
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13)
Start Page
75
Last Page
76
DOI
10.1145/2461446.2461457
Copyright/Permission Statement
© ACM 2013. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS '13), http://dx.doi.org/10.1145/2461446.2461457.
Keywords
Attack-resilient control systems, cyber-physical system security
Date Posted: 06 September 2013
This document has been peer reviewed.