Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka. Synthesizing stealthy reprogramming attacks on cardiac devices. In Xue Liu 0001, Paulo Tabuada, Miroslav Pajic, Linda Bushnell, editors, Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. pages 13-22, ACM, 2019. [doi]
Abstract is missing.