From Design to Invariants: Detecting Attacks on Cyber Physical Systems.

Sridhar Adepu, Aditya Mathur

Browse the full QRS paper archive.