Programmable Daisychaining of Microelectrodes for IP Protection in MEDA Biochips

As digital microfluidic biochips (DMFBs) make the transition to the marketplace for commercial exploitation, security and intellectual property (IP) protection are emerging as important design considerations. Recent studies have shown that DMFBs are vulnerable to reverse engineering aimed at stealing biomolecular protocols (IP theft). The IP piracy of proprietary protocols may lead to significant losses for pharmaceutical and biotech companies. The micro-electrode-dot-array (MEDA) is a next-generation DMFB platform that supports real-time sensing of droplets and has the added advantage of important security protections. However, real-time sensing offers opportunities to an attacker to steal the biochemical IP. We show that the daisychaining of microelectrodes and the use of one-time-programmability in MEDA biochips provides effective bitstream scrambling of biochemical protocols. To examine the strength of this solution, we develop a SAT attack that can unscramble the bitstreams through repeated observations of bioassays executed on the MEDA platform. Based on insights gained from the SAT attack, we propose an advanced defense against IP theft. Simulation results using real-life biomolecular protocols confirm that while the SAT attack is effective for simple instances, our advanced defense can thwart it for realistic MEDA biochips and real-life protocols.

[1]  Krishnendu Chakrabarty,et al.  Digital microfluidic biochips: Recent research and emerging challenges , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[2]  Jeyavijayan Rajendran,et al.  Security analysis of logic obfuscation , 2012, DAC Design Automation Conference 2012.

[3]  Jarrod A. Roy,et al.  Ending Piracy of Integrated Circuits , 2010, Computer.

[4]  Mohamed Ibrahim,et al.  Synthesis of a Cyberphysical Hybrid Microfluidic Platform for Single-Cell Analysis , 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  Swarup Bhunia,et al.  VIm-Scan: A Low Overhead Scan Design Approach for Protection of Secret Key in Scan-Based Secure Chips , 2007, 25th IEEE VLSI Test Symposium (VTS'07).

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

[7]  S. Fan,et al.  Digital microfluidic operations on micro-electrode array architecture , 2011, NEMS 2011.

[8]  Ramesh Karri,et al.  Execution of provably secure assays on MEDA biochips to thwart attacks , 2019, ASP-DAC.

[9]  Sayak Ray,et al.  Evaluating the security of logic encryption algorithms , 2015, 2015 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).

[10]  Michel Renovell,et al.  Scan Design and Secure Chip , 2004, IOLTS.

[11]  Olga Bodroza-Pantic,et al.  Enumeration of Hamiltonian Cycles in Some Grid Graphs , 2013 .

[12]  Yingchieh Ho,et al.  Design of a micro-electrode cell for programmable lab-on-CMOS platform , 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).

[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]  Ramesh Karri,et al.  Scan based side channel attack on dedicated hardware implementations of Data Encryption Standard , 2004, 2004 International Conferce on Test.

[15]  Yung-Sheng Lin,et al.  Recent Advances in Applications of Droplet Microfluidics , 2015, Micromachines.

[16]  Krishnendu Chakrabarty,et al.  Micro-Electrode-Dot-Array Digital Microfluidic Biochips: Technology, Design Automation, and Test Techniques , 2019, IEEE Transactions on Biomedical Circuits and Systems.

[17]  Mark Mohammad Tehranipoor,et al.  Securing Scan Design Using Lock and Key Technique , 2005, 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'05).

[18]  Philip Brisk,et al.  Exploring speed and energy tradeoffs in droplet transport for digital microfluidic biochips , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[19]  Chen-Yi Lee,et al.  An Intelligent Digital Microfluidic Processor for Biomedical Detection , 2015, J. Signal Process. Syst..

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

[21]  Jesper Lykke Jacobsen,et al.  Exact enumeration of Hamiltonian circuits, walks and chains in two and three dimensions , 2007, 0709.2322.

[22]  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.

[23]  Joseph Zambreno,et al.  Preventing IC Piracy Using Reconfigurable Logic Barriers , 2010, IEEE Design & Test of Computers.

[24]  Joao Marques-Silva,et al.  PySAT: A Python Toolkit for Prototyping with SAT Oracles , 2018, SAT.