{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T09:48:41Z","timestamp":1771494521950,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T00:00:00Z","timestamp":1369785600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,5,29]]},"DOI":"10.1145\/2463209.2488751","type":"proceedings-article","created":{"date-parts":[[2013,5,28]],"date-time":"2013-05-28T16:35:41Z","timestamp":1369758941000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Towards trustworthy medical devices and body area networks"],"prefix":"10.1145","author":[{"given":"Meng","family":"Zhang","sequence":"first","affiliation":[{"name":"Princeton University, Princeton, NJ"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anand","family":"Raghunathan","sequence":"additional","affiliation":[{"name":"Purdue University, West Lafayette, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niraj K.","family":"Jha","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ARM trustzone technology overview. http:\/\/www.arm.com\/products\/CPUs\/arch-trustzone.htm.  ARM trustzone technology overview. http:\/\/www.arm.com\/products\/CPUs\/arch-trustzone.htm."},{"key":"e_1_3_2_1_2_1","unstructured":"Infected apps found in Google's Android market 2011. http:\/\/www.securitynewsdaily.com.  Infected apps found in Google's Android market 2011. http:\/\/www.securitynewsdaily.com."},{"key":"e_1_3_2_1_3_1","unstructured":"Intel Health Guide 2011. http:\/\/www.careinnovations.com\/products\/healthguide.  Intel Health Guide 2011. http:\/\/www.careinnovations.com\/products\/healthguide."},{"key":"e_1_3_2_1_4_1","unstructured":"An overview of IEEE 802.15.6 standard 2011. arxiv.org\/pdf\/1102.4106.  An overview of IEEE 802.15.6 standard 2011. arxiv.org\/pdf\/1102.4106."},{"key":"e_1_3_2_1_5_1","unstructured":"iPhone malware paradigm 2012. http:\/\/www.crosstalkonline.org.  iPhone malware paradigm 2012. http:\/\/www.crosstalkonline.org."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70542-0_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1457246.1457254"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185448.2185455"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.266"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2009.5116816"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228364"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.82"},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"Proc. Conf. Hot Topics in Security","author":"Denning T.","year":"2008"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2006.871582"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018438"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.31"},{"key":"e_1_3_2_1_18_1","first-page":"100","volume-title":"Proc. Workshop RFID Security","author":"Hancke G. P.","year":"2008"},{"key":"e_1_3_2_1_19_1","first-page":"3","volume-title":"Proc. Workshop RFID Security","author":"Haselsteiner E.","year":"2006"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0002-9149(01)01700-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.9"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8167.2010.01806.x"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/646764.703989"},{"key":"e_1_3_2_1_24_1","unstructured":"C. Li A. Raghunathan and N. K. Jha. Improving the trustworthiness of medical device software with formal verification methods. under review.  C. Li A. Raghunathan and N. K. Jha. Improving the trustworthiness of medical device software with formal verification methods. under review."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. IEEE Int. Conf. e-Health Networking, Applications and Services","author":"Li C.","year":"2011"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2007.901613"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2010.2048400"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1409944.1409960"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2008.927494"},{"key":"e_1_3_2_1_31_1","volume-title":"Microsoft Research","author":"Moore T.","year":"2001"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1986.13531"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.107"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. Int. Conf. Wireless Mobile Communication and Healthcare","author":"Pournaghshband V.","year":"2012"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. Black Hat Technical Security Conf.","author":"Radcliffe J.","year":"2011"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/390016.808467"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653712"},{"key":"e_1_3_2_1_38_1","unstructured":"K. Sandler L. Ohrstrom L. Moy and R. McVay. Killed by code: Software transparency in implantable medical devices 2010. http:\/\/www.softwarefreedom.org.  K. Sandler L. Ohrstrom L. Moy and R. McVay. Killed by code: Software transparency in implantable medical devices 2010. http:\/\/www.softwarefreedom.org."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2005.1423241"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/324119.324128"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162081.2162092"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307665"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESSCIR.2004.1356647"},{"key":"e_1_3_2_1_45_1","unstructured":"\"Trusted Computing Group\". https:\/\/www.trustedcomputinggroup.org.  \"Trusted Computing Group\". https:\/\/www.trustedcomputinggroup.org."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5934987"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000502.2000503"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/2478278.2478469"},{"key":"e_1_3_2_1_49_1","article-title":"MedMon: Securing medical devices through wireless monitoring and anomaly detection. accepted for publication","author":"Zhang M.","journal-title":"IEEE Trans. Biomedical Circuits and Systems."}],"event":{"name":"DAC '13: The 50th Annual Design Automation Conference 2013","location":"Austin Texas","acronym":"DAC '13","sponsor":["EDAC Electronic Design Automation Consortium","SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 50th Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463209.2488751","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2463209.2488751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:28Z","timestamp":1750235968000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463209.2488751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,29]]},"references-count":48,"alternative-id":["10.1145\/2463209.2488751","10.1145\/2463209"],"URL":"https:\/\/doi.org\/10.1145\/2463209.2488751","relation":{},"subject":[],"published":{"date-parts":[[2013,5,29]]},"assertion":[{"value":"2013-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}