{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T09:57:13Z","timestamp":1764842233805,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1553273, CPS-1446832, IIS-1447549, CNS-1445770"],"award-info":[{"award-number":["CNS-1553273, CPS-1446832, IIS-1447549, CNS-1445770"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302509.3311044","type":"proceedings-article","created":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T18:38:43Z","timestamp":1554403123000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Synthesizing stealthy reprogramming attacks on cardiac devices"],"prefix":"10.1145","author":[{"given":"Nicola","family":"Paoletti","sequence":"first","affiliation":[{"name":"Royal Holloway, University of London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Md Ariful","family":"Islam","sequence":"additional","affiliation":[{"name":"Texas Tech University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shan","family":"Lin","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zachary","family":"Gruber","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[{"name":"Stony Brook University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ann Arbor Electrogram Libraries. 2018. (2018). http:\/\/electrogram.com\/  Ann Arbor Electrogram Libraries. 2018. (2018). http:\/\/electrogram.com\/"},{"key":"e_1_3_2_1_2_1","unstructured":"C. W. Barrett R. Sebastiani S. A. Seshia and C. Tinelli. 2009. Satisfiability Modulo Theories. Handbook of satisfiability 185 (2009) 825--885.  C. W. Barrett R. Sebastiani S. A. Seshia and C. Tinelli. 2009. Satisfiability Modulo Theories. Handbook of satisfiability 185 (2009) 825--885."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8167.2006.00463.x"},{"key":"e_1_3_2_1_4_1","first-page":"193","article-title":"Symbolic model checking without BDDs","volume":"1579","author":"Biere A.","year":"1999","unstructured":"A. Biere , A. Cimatti , E. Clarke , and Y. Zhu . 1999 . Symbolic model checking without BDDs . In Tools and Algorithms for the Construction and Analysis of Systems (LNCS) , Vol. 1579. 193 -- 207 . A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. 1999. Symbolic model checking without BDDs. In Tools and Algorithms for the Construction and Analysis of Systems (LNCS), Vol. 1579. 193--207.","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (LNCS)"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"e_1_3_2_1_6_1","unstructured":"Boston Scientific Corporation. 2017. Implantable Cardioverter Defibrillator reference guide (part number: 359407-003). (2017).  Boston Scientific Corporation. 2017. Implantable Cardioverter Defibrillator reference guide (part number: 359407-003). (2017)."},{"key":"e_1_3_2_1_7_1","volume-title":"Network and Distributed System Security Symposium (NDSS","author":"Eberz S.","year":"2017","unstructured":"S. Eberz , N. Paoletti , M. Roeschlin , M. Kwiatkowska , I. Martinovic , and A. Patan\u00e9 . 2017. Broken hearted: How to attack ECG biometrics . In Network and Distributed System Security Symposium (NDSS 2017 ). S. Eberz, N. Paoletti, M. Roeschlin, M. Kwiatkowska, I. Martinovic, and A. Patan\u00e9. 2017. Broken hearted: How to attack ECG biometrics. In Network and Distributed System Security Symposium (NDSS 2017)."},{"key":"e_1_3_2_1_8_1","unstructured":"Food and Drug Administration. 2017. Implantable Cardiac Pacemakers by Abbott: Safety Communication. (2017). https:\/\/www.fda.gov\/safety\/medwatch\/safetyinformation\/safetyalertsforhumanmedicalproducts\/ucm573854.htm  Food and Drug Administration. 2017. Implantable Cardiac Pacemakers by Abbott: Safety Communication. (2017). https:\/\/www.fda.gov\/safety\/medwatch\/safetyinformation\/safetyalertsforhumanmedicalproducts\/ucm573854.htm"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.31"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2370045"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00009"},{"volume-title":"38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC). IEEE, 169--172","author":"Jiang Z.","key":"e_1_3_2_1_12_1","unstructured":"Z. Jiang , H. Abbas , K. J. Jang , M. Beccani , J. Liang , S. Dixit , and R. Mangharam . 2016. In-silico pre-clinical trials for implantable cardioverter defibrillators . In 38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC). IEEE, 169--172 . Z. Jiang, H. Abbas, K. J. Jang, M. Beccani, J. Liang, S. Dixit, and R. Mangharam. 2016. In-silico pre-clinical trials for implantable cardioverter defibrillators. In 38th Annual International Conference of the Engineering in Medicine and Biology Society (EMBC). IEEE, 169--172."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161241"},{"key":"e_1_3_2_1_14_1","unstructured":"Z. Jiang S. Radhakrishnan V. Sampath S. Sarode and R. Mangharam. 2014. Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers. (2014).  Z. Jiang S. Radhakrishnan V. Sampath S. Sarode and R. Mangharam. 2014. Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers. (2014)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.20"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26916-0_7"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1056\/NEJMoa1211107"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843720"},{"key":"e_1_3_2_1_19_1","unstructured":"N. Paoletti Z. Jiang M. A. Islam H. Abbas R. Mangharam S. Lin Z. Gruber and S. A. Smolka. 2018. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR abs\/1810.03808 (2018).  N. Paoletti Z. Jiang M. A. Islam H. Abbas R. Mangharam S. Lin Z. Gruber and S. A. Smolka. 2018. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR abs\/1810.03808 (2018)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2266831"},{"key":"e_1_3_2_1_21_1","volume-title":"terrorists could have hacked Dick Cheney's heart. Washington Post","author":"Peterson A.","year":"2013","unstructured":"A. Peterson . 2013. Yes , terrorists could have hacked Dick Cheney's heart. Washington Post ( 2013 ). A. Peterson. 2013. Yes, terrorists could have hacked Dick Cheney's heart. Washington Post (2013)."},{"key":"e_1_3_2_1_22_1","volume-title":"Understanding and Exploiting Implanted Medical Devices. Black Hat USA conference.","author":"Rios B.","year":"2018","unstructured":"B. Rios and J. Butts . 2018 . Understanding and Exploiting Implanted Medical Devices. Black Hat USA conference. ( 2018 ). B. Rios and J. Butts. 2018. Understanding and Exploiting Implanted Medical Devices. Black Hat USA conference. (2018)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1111\/jce.12605"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2676679"},{"key":"e_1_3_2_1_25_1","unstructured":"I. Singer. 2001. Interventional electrophysiology.  I. Singer. 2001. Interventional electrophysiology."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566468.2566483"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"F. Xu Z. Qin C. C. Tan B. Wang and L. Qun. 2011. IMDGuard: Securing implantable medical devices with the external wearable guardian. In IEEE Infocom. 1862--1870.  F. Xu Z. Qin C. C. Tan B. Wang and L. Qun. 2011. IMDGuard: Securing implantable medical devices with the external wearable guardian. In IEEE Infocom. 1862--1870.","DOI":"10.1109\/INFCOM.2011.5934987"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"N. Zanker D. Schuster J. Gilkerson and K. Stein. 2016. Tachycardia detection in ICDs by Boston Scientific. Herzschrittmachertherapie+ Elektrophysiologie 27 3 (2016) 186--192.  N. Zanker D. Schuster J. Gilkerson and K. Stein. 2016. Tachycardia detection in ICDs by Boston Scientific. Herzschrittmachertherapie+ Elektrophysiologie 27 3 (2016) 186--192.","DOI":"10.1007\/s00399-016-0454-2"}],"event":{"name":"ICCPS '19: ACM\/IEEE 10th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"],"location":"Montreal Quebec Canada","acronym":"ICCPS '19"},"container-title":["Proceedings of the 10th ACM\/IEEE International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3311044","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302509.3311044","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302509.3311044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:55Z","timestamp":1750204435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3311044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":28,"alternative-id":["10.1145\/3302509.3311044","10.1145\/3302509"],"URL":"https:\/\/doi.org\/10.1145\/3302509.3311044","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}