@inproceedings{paoletti2019icd,
  title={Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices},
  author={Paoletti, Nicola and Jiang, Zhihao and Islam, Md Ariful and Abbas, Houssam and Mangharam, Rahul and Lin, Shan and Gruber, Zachary and Smolka, Scott A},
  booktitle={International Conference on Cyber-Physical Systems (ICCPS 2019)},
  pages={13--22},
  organization =  {IEEE/ACM},
  url = {https://dl.acm.org/citation.cfm?id=3311044},
  doi = {10.1145/3302509.3311044},
  year={2019}
}