Synthesizing stealthy reprogramming attacks on cardiac devices. - Nicola Paoletti; Zhihao Jiang; Md. Ariful Islam; Houssam Abbas; Rahul Mangharam; Shan Lin 001; Zachary Gruber; Scott A. Smolka (ICCPS, 2019)