Shadow Attacks on MEDA Biochips

The Micro-electrode-dot-array (MEDA) is a next-generation digital microfluidic biochip (DMFB) platform that supports fine-grained control and real-time sensing of droplet movements. These capabilities permit continuous monitoring and checkpoint-based validation of assay execution on MEDA. This paper presents a class of “shadow attacks” that abuse the timing slack in the assay execution. State-of-the-art checkpoint-based validation techniques cannot expose the shadow operations. We develop a defense that introduces extra checkpoints in the assay execution at time instances when the assay is prone to shadow attacks. Experiments confirm the effectiveness and practicality of the defense.

[1]  Robert P. Luoma,et al.  Digital microfluidic magnetic separation for particle-based immunoassays. , 2012, Analytical chemistry.

[2]  Daniel Teng,et al.  Digital microfluidic operations on micro-electrode array architecture , 2011, 2011 6th IEEE International Conference on Nano/Micro Engineered and Molecular Systems.

[3]  Krishnendu Chakrabarty,et al.  Droplet Size-Aware and Error-Correcting Sample Preparation Using Micro-Electrode-Dot-Array Digital Microfluidic Biochips , 2017, IEEE Transactions on Biomedical Circuits and Systems.

[4]  Sudip Roy,et al.  Algorithmic Challenges in Digital Microfluidic Biochips: Protocols, Design, and Test , 2014, ICAA.

[5]  Mohamed Ibrahim,et al.  Locking of biochemical assays for digital microfluidic biochips , 2018, 2018 IEEE 23rd European Test Symposium (ETS).

[6]  J. Lammertyn,et al.  A versatile electrowetting-based digital microfluidic platform for quantitative homogeneous and heterogeneous bio-assays , 2011 .

[7]  Mohamed Ibrahim,et al.  Securing digital microfluidic biochips by randomizing checkpoints , 2016, 2016 IEEE International Test Conference (ITC).

[8]  Jack Zhou,et al.  Chemical and Biological Applications of Digital-Microfluidic Devices , 2007, IEEE Design & Test of Computers.

[9]  Krishnendu Chakrabarty,et al.  Adaptive error recovery in MEDA biochips based on droplet-aliquot operations and predictive analysis , 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

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

[11]  Krishnendu Chakrabarty,et al.  Error recovery in a micro-electrode-dot-array digital microfluidic biochip , 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[12]  Richard B. Fair,et al.  Digital microfluidics: is a true lab-on-a-chip possible? , 2007 .

[13]  Lyle E. Yarnell,et al.  Automated digital microfluidic platform for magnetic-particle-based immunoassays with optimization by design of experiments. , 2013, Analytical chemistry.

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

[15]  Krishnendu Chakrabarty,et al.  High-level synthesis for micro-electrode-dot-array digital microfluidic biochips , 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[16]  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).

[17]  Mohamed Ibrahim,et al.  Security implications of cyberphysical digital microfluidic biochips , 2015, 2015 33rd IEEE International Conference on Computer Design (ICCD).

[18]  Susanta Chakraborty,et al.  Securing Module-Less Synthesis on Cyberphysical Digital Microfluidic Biochips from Malicious Intrusions , 2018, 2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID).

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

[20]  Jie-Long He,et al.  Digital Microfluidics for Manipulation and Analysis of a Single Cell , 2015, International journal of molecular sciences.

[21]  Yi-Wen Lu,et al.  Field-programmable lab-on-a-chip based on microelectrode dot array architecture. , 2014, IET nanobiotechnology.

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

[23]  Homayoun Najjaran,et al.  Size dependent droplet actuation in digital microfluidic systems , 2009, Defense + Commercial Sensing.

[24]  Robert Wille,et al.  Exact routing for micro-electrode-dot-array digital microfluidic biochips , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[26]  Krishnendu Chakrabarty,et al.  Droplet Size-Aware High-Level Synthesis for Micro-Electrode-Dot-Array Digital Microfluidic Biochips , 2017, IEEE Transactions on Biomedical Circuits and Systems.

[27]  Krishnendu Chakrabarty,et al.  Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip , 2010, JETC.

[28]  Sudip Roy,et al.  Dilution and Mixing Algorithms for Flow-Based Microfluidic Biochips , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.