From Design to Invariants: Detecting Attacks on Cyber Physical Systems

Sridhar Adepu, Aditya Mathur. From Design to Invariants: Detecting Attacks on Cyber Physical Systems. In 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017. pages 533-540, IEEE, 2017. [doi]

Authors

Sridhar Adepu

This author has not been identified. Look up 'Sridhar Adepu' in Google

Aditya Mathur

This author has not been identified. Look up 'Aditya Mathur' in Google