Hui Lin, Homa Alemzadeh, Daniel Chen, Zbigniew Kalbarczyk, and Ravishankar K. Iyer, “Safety-critical Cyber-physical Attacks: Analysis, Detection, and Mitigation,” In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSos ’16), pp. 82-89, April 19-21, 2016 doi: http://dx.doi.org/10.1145/2898375.2898391. (paper)