Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips

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.

[1]  Mohamed Ibrahim,et al.  Microfluidic encryption of on-chip biochemical assays , 2016, 2016 IEEE Biomedical Circuits and Systems Conference (BioCAS).

[2]  Krishnendu Chakrabarty,et al.  Design of pin-constrained general-purpose digital microfluidic biochips , 2012, DAC Design Automation Conference 2012.

[3]  Vijay Srinivasan,et al.  Development of a digital microfluidic platform for point of care testing. , 2008, Lab on a chip.

[4]  Tsung-Yi Ho,et al.  Reliability-Driven Chip-Level Design for High-Frequency Digital Microfluidic Biochips , 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  K. Audus,et al.  Digital microfluidics. , 2012, Annual review of analytical chemistry.

[6]  Tsung-Yi Ho,et al.  An Optimal Pin-Count Design With Logic Optimization for Digital Microfluidic Biochips , 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Krishnendu Chakrabarty,et al.  Error Recovery in Cyberphysical Digital Microfluidic Biochips , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Yan Luo,et al.  Design of Pin-Constrained General-Purpose Digital Microfluidic Biochips , 2013, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  Mohamed Ibrahim,et al.  Security Trade-Offs in Microfluidic Routing Fabrics , 2017, 2017 IEEE International Conference on Computer Design (ICCD).

[10]  Teofilo F. GONZALEZ,et al.  Clustering to Minimize the Maximum Intercluster Distance , 1985, Theor. Comput. Sci..

[11]  Mohamed Ibrahim,et al.  Security Assessment of Cyberphysical Digital Microfluidic Biochips , 2016, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[12]  Pushpita Roy,et al.  A new approach for root-causing attacks on digital microfluidic devices , 2016, 2016 IEEE Asian Hardware-Oriented Security and Trust (AsianHOST).

[13]  Tsung-Yi Ho,et al.  Piracy prevention of digital microfluidic biochips , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

[14]  Satu Elisa Schaeffer,et al.  Graph Clustering , 2017, Encyclopedia of Machine Learning and Data Mining.

[15]  Philip Brisk,et al.  An open-source compiler and PCB synthesis tool for digital microfluidic biochips , 2015, Integr..

[16]  Philip Brisk,et al.  A field-programmable pin-constrained digital microfluidic biochip , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[17]  Philip Brisk,et al.  A Low-Cost Field-Programmable Pin-Constrained Digital Microfluidic Biochip , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[18]  Charu C. Aggarwal,et al.  Graph Clustering , 2010, Encyclopedia of Machine Learning and Data Mining.

[19]  Mohamed Ibrahim,et al.  Supply-Chain Security of Digital Microfluidic Biochips , 2016, Computer.

[20]  Mohamed Ibrahim,et al.  Secure Randomized Checkpointing for Digital Microfluidic Biochips , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[21]  Mohamed Ibrahim,et al.  Synthesis of Cyberphysical Digital-Microfluidic Biochips for Real-Time Quantitative Analysis , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[22]  Tsung-Wei Huang,et al.  Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[23]  Krishnendu Chakrabarty,et al.  Broadcast Electrode-Addressing and Scheduling Methods for Pin-Constrained Digital Microfluidic Biochips , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[24]  Krishnendu Chakrabarty Design Automation and Test Solutions for Digital Microfluidic Biochips , 2010, IEEE Transactions on Circuits and Systems I: Regular Papers.

[25]  Fei Su,et al.  High-level synthesis of digital microfluidic biochips , 2008, JETC.

[26]  Krishnendu Chakrabarty,et al.  Reliability-oriented broadcast electrode-addressing for pin-constrained digital microfluidic biochips , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[27]  Farinaz Koushanfar,et al.  BioChipWork: Reverse Engineering of Microfluidic Biochips , 2017, 2017 IEEE International Conference on Computer Design (ICCD).