Toward Secure Microfluidic Fully Programmable Valve Array Biochips

The fully programmable valve array (FPVA) is a general-purpose programmable flow-based microfluidic platform, akin to the VLSI field-programmable gate array (FPGA). FPVAs are dynamically reconfigurable and, hence, are suitable in a broad spectrum of applications involving immunoassays and cell analysis. Since these applications are safety critical, addressing security concerns is vital for the success and adoption of FPVAs. This study evaluates the security of FPVA biochips. We show that FPVAs are vulnerable to malicious operations similar to digital and flow-based microfluidic biochips. FPVAs are further prone to new classes of attacks—tunneling and deliberate aging. This study establishes security metrics and describes possible attacks on real-life bioassays. Furthermore, we study the use of machine learning (ML) techniques to detect and classify attacks based on the golden and real-time biochip state. In order to boost the classifier’s performance, we propose a smart checkpointing mechanism. Experimental results are presented to showcase: 1) best-fit ML model classifier; 2) performance of different tradeoffs in checkpointing; and 3) effectiveness of the proposed smart checkpointing scheme.

[1]  Ralph Langner,et al.  Stuxnet: Dissecting a Cyberwarfare Weapon , 2011, IEEE Security & Privacy.

[2]  Ramesh Karri,et al.  Shadow Attacks on MEDA Biochips , 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

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

[4]  Ismail Emre Araci,et al.  Microfluidic very large scale integration (mVLSI) with integrated micromechanical valves. , 2012, Lab on a chip.

[5]  Ramesh Karri,et al.  Security Assessment of Microfluidic Immunoassays , 2019, COINS.

[6]  Krishnendu Chakrabarty,et al.  Efficient and Adaptive Error Recovery , 2019 .

[7]  A. Hinnen,et al.  The yeast PHO5 promoter: phosphate-control elements and sequences mediating mRNA start-site selection. , 1987, Proceedings of the National Academy of Sciences of the United States of America.

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

[9]  Krishnendu Chakrabarty,et al.  Security Assessment of Micro-Electrode-Dot-Array Biochips , 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Kevin P. Murphy,et al.  Machine learning - a probabilistic perspective , 2012, Adaptive computation and machine learning series.

[11]  Andrew J. deMello,et al.  From single-molecule detection to next-generation sequencing: microfluidic droplets for high-throughput nucleic acid analysis , 2017, Microfluidics and Nanofluidics.

[12]  Ramesh Karri,et al.  Desieve the Attacker: Thwarting IP Theft in Sieve-Valve-based Biochips , 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[13]  Trevor Hastie,et al.  The Elements of Statistical Learning , 2001 .

[14]  Gaël Varoquaux,et al.  Scikit-learn: Machine Learning in Python , 2011, J. Mach. Learn. Res..

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

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

[17]  Mohamed Ibrahim,et al.  Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips , 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).

[18]  Ramesh Karri,et al.  Bio-Protocol Watermarking on Digital Microfluidic Biochips , 2019, IEEE Transactions on Information Forensics and Security.

[19]  Aaron R Wheeler,et al.  Immunoassays in microfluidic systems , 2010, Analytical and bioanalytical chemistry.

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

[21]  Ibrahim Mohamed,et al.  Securing digital microfluidic biochips by randomizing checkpoints , 2016 .

[22]  Ramesh Karri,et al.  Security Assessment of Microfluidic Fully-Programmable-Valve-Array Biochips , 2019, 2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID).

[23]  Ramesh Karri,et al.  Can Multi-Layer Microfluidic Design Methods Aid Bio-Intellectual Property Protection? , 2019, 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS).

[24]  Ulf Schlichtmann,et al.  Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

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

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

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

[28]  Robert Wille,et al.  Close-to-optimal placement and routing for continuous-flow microfluidic biochips , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

[29]  F. Meuwly,et al.  Optimization of the medium perfusion rate in a packed-bed bioreactor charged with CHO cells , 2004, Cytotechnology.

[30]  Mohak Shah,et al.  Evaluating Learning Algorithms: A Classification Perspective , 2011 .

[31]  Mohamed Ibrahim,et al.  Security Implications of Cyberphysical Flow-Based Microfluidic Biochips , 2017, 2017 IEEE 26th Asian Test Symposium (ATS).

[32]  Ulf Schlichtmann,et al.  Testing microfluidic Fully Programmable Valve Arrays (FPVAs) , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[33]  Sebastian J Maerkl,et al.  A software-programmable microfluidic device for automated biology. , 2011, Lab on a chip.