{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:20:42Z","timestamp":1755926442896,"version":"3.37.3"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-17-1-0320"],"award-info":[{"award-number":["W911NF-17-1-0320"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1833622","CNS-1833624"],"award-info":[{"award-number":["CNS-1833622","CNS-1833624"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006732","name":"New York University Center for Cyber Security","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006732","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012025","name":"New York University Abu Dhabi Center for Cyber Security","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012025","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2021,1]]},"DOI":"10.1109\/tcad.2020.2988351","type":"journal-article","created":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T20:30:36Z","timestamp":1587069036000},"page":"143-156","source":"Crossref","is-referenced-by-count":14,"title":["How Secure Are Checkpoint-Based Defenses in Digital Microfluidic Biochips?"],"prefix":"10.1109","volume":"40","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5454-1927","authenticated-orcid":false,"given":"Mohammed","family":"Shayan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4341-5380","authenticated-orcid":false,"given":"Sukanta","family":"Bhattacharjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4993-7860","authenticated-orcid":false,"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4475-6435","authenticated-orcid":false,"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7989-5617","authenticated-orcid":false,"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Hot Startup Theranos Has Struggled With Its Blood-Test Technology","year":"2015","key":"ref73"},{"journal-title":"Medical Device Reporting How to Report Medical Device Problems","year":"2019","key":"ref72"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488790"},{"key":"ref74","first-page":"1","article-title":"Tamper-resistant pin-constrained digital microfluidic biochips","author":"tang","year":"2018","journal-title":"Proc 55th ACM\/ESDA\/IEEE Design Automat Conf (DAC)"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2512235"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.94"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2748030"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1053271.1053279"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898028"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2015.01.004"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2018.116"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ITC-Asia.2018.00036"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2018.8297280"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3276498"},{"key":"ref61","first-page":"95","author":"luo","year":"2015","journal-title":"Biochemistry Synthesis Under Completion-Time Uncertainties in Fluidic Operations"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304027"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.13"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s10404-007-0161-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2015.2509991"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.11"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2211104"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISOC.2007.4402478"},{"key":"ref68","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Int Conf Tools and Algorithms Constr and Anal Syst"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/2429384.2429464"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2438152"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature05058"},{"journal-title":"Theranos Effect","year":"2019","key":"ref20"},{"journal-title":"When Medical Devices Get Hacked Hospitals Often Don’t Know It","year":"2018","key":"ref22"},{"journal-title":"Its Insanely Easy to Hack Hospital Equipment","year":"2014","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2855132"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-018-0921-x"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2019.8678515"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tibtech.2018.08.005"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.67"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc21241b"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927264"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858377"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2702562"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858407"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372663"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287697"},{"key":"ref53","first-page":"1","article-title":"Shadow attacks on MEDA biochips","author":"mohammed","year":"2018","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design (ICCAD)"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2864249"},{"journal-title":"SEngine - Precision Medicine","year":"2019","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1126\/scitranslmed.aar6076"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1777401.1777404"},{"journal-title":"Zion Market Research","year":"2019","key":"ref12"},{"journal-title":"Shipment of 3 000 000th Test","year":"2019","key":"ref13"},{"journal-title":"10x Genomics Funding","year":"2019","key":"ref14"},{"journal-title":"Illumina-Press Release","year":"2018","key":"ref15"},{"journal-title":"FDA Advisors Back Approval of Baebies' SEEKER Analyzer for Newborns","year":"2016","key":"ref16"},{"journal-title":"5 Cases of AIDS-Study Sabotage Reported","year":"1986","key":"ref17"},{"journal-title":"Jealousy led Montana Chemist to Taint Colleague’s Water Tests","year":"2019","key":"ref18"},{"journal-title":"Theranos Voids Two Years of Edison Blood-Test Results","year":"2016","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1039\/c2lc21204h"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1088\/0960-1317\/21\/5\/054026"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2174\/0929867325666180605122633"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/wsbm.1381"},{"journal-title":"Wheeler Group at Kakuma Refugee Camp in Kenya","year":"2016","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1063\/1.4807118"},{"journal-title":"Increase in Insider Threat Cases Highlight Significant Risks to Business Networks and Proprietary Information","year":"2014","key":"ref49"},{"journal-title":"A High Throughput Screening System to Identify Actionable Treatments for Cancer Patients","year":"2016","key":"ref9"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"8805","DOI":"10.1021\/ac3020627","article-title":"Digital microfluidic magnetic separation for particle-based immunoassays","volume":"84","author":"alphonsus","year":"2012","journal-title":"Anal Chem"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.224"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2017.32"},{"journal-title":"2011 Cybersecurity Watch Survey How Bad is the Insider Threat?","year":"2011","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/BioCAS.2015.7348390"},{"key":"ref41","first-page":"370","article-title":"Adaptation of biochemical protocols to handle technology-change for digital microfluidics","volume":"36","author":"bhattacharjee","year":"2017","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2018.8400686"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/BioCAS.2016.7833754"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/43\/9312500\/9069286-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9312500\/09069286.pdf?arnumber=9069286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:49:28Z","timestamp":1652194168000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9069286\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":74,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2020.2988351","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2021,1]]}}}