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]
@inproceedings{AdepuM17,
title = {From Design to Invariants: Detecting Attacks on Cyber Physical Systems},
author = {Sridhar Adepu and Aditya Mathur},
year = {2017},
doi = {10.1109/QRS-C.2017.91},
url = {https://doi.org/10.1109/QRS-C.2017.91},
researchr = {https://researchr.org/publication/AdepuM17},
cites = {0},
citedby = {0},
pages = {533-540},
booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017},
publisher = {IEEE},
isbn = {978-1-5386-2072-4},
}