[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/3195970.3196125acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
research-article
Public Access

Tamper-resistant pin-constrained digital microfluidic biochips

Published: 24 June 2018 Publication History

Abstract

Digital microfluidic biochips (DMFBs)---an emerging technology that implements bioassays through manipulation of discrete fluid droplets---are vulnerable to actuation tampering attacks, where a malicious adversary modifies control signals for the purposes of manipulating results or causing denial-of-service. Such attacks leverage the highly programmable nature of DMFBs. However, practical DMFBs often employ a technique called pin mapping to reduce control pin count while simultaneously reducing the degrees of freedom available for droplet manipulation. Attempts to control specific electrodes as part of an attack cannot be made without inadvertently actuating other electrodes on-chip, which makes the tampering evident. This paper explores this tamper-resistance property of pin mapping in detail. We derive relevant security metrics, evaluate the tamper-resistance of several existing pin mapping algorithms, and propose a new security-aware pin mapper with superior tamper-resistance as compared to prior work.

References

[1]
Sk Subidh Ali, Mohamed Ibrahim, Jeyavijayan Rajendran, Ozgur Sinanoglu, and Krishnendu Chakrabarty. 2016. Supply-chain security of digital microfluidic biochips. Computer 49, 8 (2016), 36--43.
[2]
Sk Subidh Ali, Mohamed Ibrahim, Ozgur Sinanoglu, Krishnendu Chakrabarty, and Ramesh Karri. 2016. Microfluidic encryption of on-chip biochemical assays. In Proc. IEEE Biomed. Circuits Syst. Conf. 152--155.
[3]
Sk Subidh Ali, Mohamed Ibrahim, Ozgur Sinanoglu, Krishnendu Chakrabarty, and Ramesh Karri. 2016. Security assessment of cyberphysical digital microfluidic biochips. IEEE/ACM Trans. Comput. Biol. Bioinform. 13, 3 (2016), 445--458.
[4]
Baebies,Inc. 2017. Baebies SEEKER. (2017). http://baebies.com/products/seeker/
[5]
Krishnendu Chakrabarty. 2010. Design automation and test solutions for digital microfluidic biochips. IEEE Trans. Circuits Syst. I 57, 1 (2010), 4--17.
[6]
Huili Chen, Seetal Potluri, and Farinaz Koushanfar. 2017. BioChipWork: Reverse Engineering of Microfluidic Biochips. In Proc. IEEE Int. Conf. Comput. Des. 9--16.
[7]
Kihwan Choi, Alphonsus HC Ng, Ryan Fobel, and Aaron R Wheeler. 2012. Digital microfluidics. Annu. Rev. Anal. Chem. 5, 1 (2012), 413--440.
[8]
Trung Anh Dinh, Shigeru Yamashita, and Tsung-Yi Ho. 2015. An optimal pin-count design with logic optimization for digital microfluidic biochips. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 34, 4 (2015), 629--641.
[9]
Teofilo F Gonzalez. 1985. Clustering to minimize the maximum intercluster distance. Theoretical Computer Science 38 (1985), 293--306.
[10]
Daniel Grissom and Philip Brisk. 2013. A field-programmable pin-constrained digital microfluidic biochip. In Proc. IEEE/ACM Des. Autom. Conf. 46.
[11]
Daniel Grissom, Christopher Curtis, Skyler Windh, Calvin Phung, Navin Kumar, Zachary Zimmerman, O'Neal Kenneth, Jeffrey McDaniel, Nick Liao, and Philip Brisk. 2015. An open-source compiler and PCB synthesis tool for digital microfluidic biochips. INTEGRATION, the VLSI journal 51 (2015), 169--193.
[12]
Daniel T Grissom, Jeffrey McDaniel, and Philip Brisk. 2014. A low-cost field-programmable pin-constrained digital microfluidic biochip. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 33, 11 (2014), 1657--1670.
[13]
Ching-Wei Hsieh, Zipeng Li, and Tsung-Yi Ho. 2017. Piracy prevention of digital microfluidic biochips. In Proc. Asia South Pacific Des. Autom. Conf. 512--517.
[14]
Tsung-Wei Huang, Tsung-Yi Ho, and Krishnendu Chakrabarty. 2011. Reliability-oriented broadcast electrode-addressing for pin-constrained digital microfluidic biochips. In Proc. IEEE/ACM Int. Conf. Comput.-Aided Des. 448--455.
[15]
Tsung-Wei Huang, Hong-Yan Su, and Tsung-Yi Ho. 2011. Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips. In Proc. IEEE/ACM Des. Autom. Conf. 741--746.
[16]
Mohamed Ibrahim, Krishnendu Chakrabarty, and Kristin Scott. 2017. Synthesis of cyberphysical digital-microfluidic biochips for real-time quantitative analysis. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 36, 5 (2017), 733--746.
[17]
Yan Luo and Krishnendu Chakrabarty. 2013. Design of pin-constrained general-purpose digital microfluidic biochips. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 32, 9 (2013), 1307--1320.
[18]
Yan Luo, Krishnendu Chakrabarty, and Tsung-Yi Ho. 2013. Error recovery in cyberphysical digital microfluidic biochips. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 32, 1 (2013), 59--72.
[19]
Pushpita Roy and Ansuman Banerjee. 2016. A new approach for root-causing attacks on digital microfluidic devices. In Proc. IEEE Asian Hardware-Oriented Security Trust Symp. 1--6.
[20]
Satu Elisa Schaeffer. 2007. Graph clustering. Comput. Sci. Rev. 1, 1 (2007), 27--64.
[21]
Ramakrishna Sista, Zhishan Hua, Prasanna Thwar, Arjun Sudarsan, Vijay Srinivasan, Allen Eckhardt, Michael Pollack, and Vamsee Pamula. 2008. Development of a digital microfluidic platform for point of care testing. Lab. Chip 8, 12 (2008), 2091--2104.
[22]
Fei Su and Krishnendu Chakrabarty. 2008. High-level synthesis of digital microfluidic biochips. ACM J. Emerg. Technol. Comput. Syst. 3, 4 (2008), 1.
[23]
Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri. 2017. Secure Randomized Checkpointing for Digital Microfluidic Biochips. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. (2017).
[24]
Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri. 2017. Security Trade-offs in Microfluidic Routing Fabrics. In Proc. IEEE Int. Conf. Comput. Des. 25--32.
[25]
The Wall Street Journal. 2016. Theranos Results Could Throw Off Medical Decisions, Study Finds. (March 2016). http://www.wsj.com/articles/theranos-results-could-throw-off-medical-decisions-study-finds-1459196177
[26]
Shang-Tsung Yu, Sheng-Han Yeh, and Tsung-Yi Ho. 2015. Reliability-driven chip-level design for high-frequency digital microfluidic biochips. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 34, 4 (2015), 529--539.
[27]
Yang Zhao, Tao Xu, and Krishnendu Chakrabarty. 2011. Broadcast electrode-addressing and scheduling methods for pin-constrained digital microfluidic biochips. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst. 30, 7 (2011), 986--999.

Cited By

View all
  • (2024)Design of Droplet Manipulation Platform based on Digital Microfluidic Chip2024 IEEE International Instrumentation and Measurement Technology Conference (I2MTC)10.1109/I2MTC60896.2024.10561174(1-6)Online publication date: 20-May-2024
  • (2024)Advancement with digital microfluidic biochips towards sustainability and secured outcome: a comprehensive survey on specific design metricsDiscover Electronics10.1007/s44291-024-00018-x1:1Online publication date: 5-Aug-2024
  • (2024)Checkpoint-Aware Droplet Routing Avoiding Cross-Contamination on Cyber-Physical Cross-Referencing DMFBsIntelligent Electrical Systems and Industrial Automation10.1007/978-981-97-6806-6_5(59-69)Online publication date: 29-Nov-2024
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '18: Proceedings of the 55th Annual Design Automation Conference
June 2018
1089 pages
ISBN:9781450357005
DOI:10.1145/3195970
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 June 2018

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. digital microfluidics
  2. electrode addressing
  3. security
  4. tamper-resistance

Qualifiers

  • Research-article

Funding Sources

Conference

DAC '18
Sponsor:
DAC '18: The 55th Annual Design Automation Conference 2018
June 24 - 29, 2018
California, San Francisco

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25
62nd ACM/IEEE Design Automation Conference
June 22 - 26, 2025
San Francisco , CA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)120
  • Downloads (Last 6 weeks)23
Reflects downloads up to 03 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Design of Droplet Manipulation Platform based on Digital Microfluidic Chip2024 IEEE International Instrumentation and Measurement Technology Conference (I2MTC)10.1109/I2MTC60896.2024.10561174(1-6)Online publication date: 20-May-2024
  • (2024)Advancement with digital microfluidic biochips towards sustainability and secured outcome: a comprehensive survey on specific design metricsDiscover Electronics10.1007/s44291-024-00018-x1:1Online publication date: 5-Aug-2024
  • (2024)Checkpoint-Aware Droplet Routing Avoiding Cross-Contamination on Cyber-Physical Cross-Referencing DMFBsIntelligent Electrical Systems and Industrial Automation10.1007/978-981-97-6806-6_5(59-69)Online publication date: 29-Nov-2024
  • (2022)A Survey on Security of Digital Microfluidic Biochips: Technology, Attack, and DefenseACM Transactions on Design Automation of Electronic Systems10.1145/349469727:4(1-33)Online publication date: 12-Feb-2022
  • (2021)Tools for SecuritySecurity of Biochip Cyberphysical Systems10.1007/978-3-030-93274-9_4(33-60)Online publication date: 21-Dec-2021
  • (2021)IntroductionSecurity of Biochip Cyberphysical Systems10.1007/978-3-030-93274-9_1(1-10)Online publication date: 21-Dec-2021
  • (2019)Security Assessment of Microfluidic ImmunoassaysProceedings of the International Conference on Omni-Layer Intelligent Systems10.1145/3312614.3312658(217-222)Online publication date: 5-May-2019

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media