Attack-Detection and -Recovery: An Integrated Approach Towards Attack-Tolerant Cyber-Physical Digital Microfluidic Biochips

References

• M. Ibrahim, Z. Li, and K. Chakrabarty. “Advances in design automation techniques for digital microfluidic biochips,” in Proceedings of Formal Modeling and Verification of Cyber-Physical Systems, Springer, Wiesbaden, 2015, pp. 190–223.
   Google Scholar
• J. Tang, M. Ibrahim, K. Chakrabarty, and R. Karri, “Secure randomized checkpointing for digital microfluidic biochips,” IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., Vol. 37, no. 6, pp. 1119–32, 2017.
   Web of Science ®Google Scholar
• M. Ibrahim, and K. Chakrabarty. “Digital microfluidic biochips for quantitative analysis: Bridging the gap between microfluidics and microbiology. In: 2017 Design, Automation & Test”, in Proceedings of Europe Conference & Exhibition (DATE), IEEE, Lausanne, Switzerland, 2017, pp. 1787–92.
   Google Scholar
• B. Bhattacharya, S. Roy, and S. Bhattacharjee. “Algorithmic challenges in digital microfluidic biochips: Protocols, design, and test,” in International Conference on Applied Algorithms, Springer, Cham, 2014, pp. 1–16.
   Google Scholar
• A. Chakraborty, P. Datta, and R.-K. Pal, “A new fluid-chip co-design for digital microfluidic biochips considering cost drivers and design convergence,” IEEE Trans. Multi-Scale Comput. Syst., Vol. 4, no. 4, pp. 548–64, 2018.
   Web of Science ®Google Scholar
• O. Keszocze, P. Niemann, A. Friedemann, and R. Drechsler, “On the complexity of design tasks for digital microfluidic biochips,” Microelectron. J., Vol. 78, pp. 35–45, 2018.
   Web of Science ®Google Scholar
• C. Das, S. Muhuri, S. Chakraborty, and S. Chakraborty, “Security assessment for routing-based synthesis on cyberphysical MEDA-based digital microfluidic biochip,” SN Appl. Sci., Vol. 3, no. 8, pp. 1–19, 2021.
   Web of Science ®Google Scholar
• M. Ibrahim, K. Chakrabarty, and K. Scott, “Synthesis of cyberphysical digital-microfluidic biochips for real-time quantitative analysis,” IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., Vol. 36, no. 5, pp. 733–46, 2016.
   Web of Science ®Google Scholar
• Y. Luo, K. Chakrabarty, and T.-Y. Ho. Hardware/software co-design and optimization for cyberphysical integration in digital microfluidic biochips. Cham: Springer, 2015.
   Google Scholar
• C. Jaress, P. Brisk, and D. Grissom. “Rapid online fault recovery for cyber-physical digital microfluidic biochips,” in Proceedings of 33rd VLSI Test Symposium (VTS), IEEE, Napa, CA, 2015, pp. 1–6.
   Google Scholar
• G.-R. Lu, A. Banerjee, B.-B. Bhattacharya, T.-Y. Ho, and H.-M. Chen, “Reliability hardening mechanisms in cyber-physical digital microfluidic biochips,” ACM J. Emerg. Technol. Comput. Syst. (JETC), Vol. 14, pp. 3–34, 2018.
   Web of Science ®Google Scholar
• Y. Luo, K. Chakrabarty, and T.-Y. Ho, “Error recovery in cyberphysical digital microfluidic biochips,” IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., Vol. 32, no. 1, pp. 59–72, 2012.
   Web of Science ®Google Scholar
• D. Gountia, and S. Roy, “Security model for protecting intellectual property of state-of-the-art microfluidic biochips,” J. Inf. Secur. Appl., Vol. 58, pp. 102773, May 2021.
   Web of Science ®Google Scholar
• W. Guo, S. Lian, C. Dong, Z. Chen, and X. Huang, “A survey on security of digital microfluidic biochips: Technology, attack, and defense,” ACM Trans. Design Autom. Electron. Syst. (TODAES), Vol. 27, no. 4, pp. 1–33, 2022.
   Web of Science ®Google Scholar
• T.-C. Liang, K. Chakrabarty, T. Abay, H. Matsunami, and R. Karri. “Securing biochemical samples using molecular barcoding on digital microfluidic biochips,” in Proceedings of 2021 IEEE Biomedical Circuits and Systems Conference (BioCAS), IEEE, Berlin, Germany, 2021, pp. 1–6.
   Google Scholar
• M. Shayan, S. Bhattacharjee, Y.-A. Song, K. Chakrabarty, and R. Karri. “Security assessment of microfluidic immunoassays,” in Proceedings of the International Conference on Omni-Layer Intelligent Systems, Crete, Greece, 2019, pp. 217–22.
   Google Scholar
• M. Shayan, S. Bhattacharjee, R. Wille, K. Chakrabarty, and R. Karri, “How secure are checkpoint-based defenses in digital microfluidic biochips?,” IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., Vol. 40, no. 1, pp. 143–56, 2021.
   Web of Science ®Google Scholar
• J. Tang, M. Ibrahim, K. Chakrabarty, and R. Karri. Secure and trustworthy cyberphysical microfluidic biochips. Cham: Springer, 2020.
   Google Scholar
• D. Gountia, and S. Roy. “Checkpoints assignment on cyber-physical digital microfluidic biochips for early detection of hardware Trojans,” in Proc. of the 3rd International Conference on Trends in Electronics and Informatics (ICOEI), Tirunelveli, India, 2019, pp. 16–21. doi:10.1109/ICOEI.2019.8862598.
   Google Scholar
• D. Gountia, and S. Roy, “Design-for-trust techniques for digital microfluidic biochip layout with error control mechanism,” IEEE/ACM Trans. Comput. Biol. Bioinform., Vol. 19, pp. 1570–82, May 2022.
   Web of Science ®Google Scholar
• Y. Luo, K. Chakrabarty, and T.-Y. Ho. “A cyberphysical synthesis approach for error recovery in digital microfluidic biochips,” in Proceedings of 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, Dresden, Germany, 2012, pp. 1239–44.
   Google Scholar
• S. Chakraborty, C. Das, and S. Chakraborty. “Securing module-less synthesis on cyberphysical digital microfluidic biochips from malicious intrusions,” in Proceedings of 31st International Conference on VLSI Design and 17th International Conference on Embedded Systems (VLSID), IEEE, Pune, India, 2018, pp. 467–8.
   Google Scholar
• S.-S. Ali, M. Ibrahim, O. Sinanoglu, K. Chakrabarty, and R. Karri, “Security assessment of cyberphysical digital microfluidic biochips,” IEEE/ACM Trans. Comput. Biol. Bioinf., Vol. 13, no. 3, pp. 445–58, May 2015.
   PubMed Web of Science ®Google Scholar
• Y. Zhao, T. Xu, and K. Chakrabarty, “Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip,” ACM J. Emerg. Technol. Comput. Syst. (JETC), Vol. 6, no. 3, pp. 1–28, 2010.
   Web of Science ®Google Scholar
• M. Elfar, Z. Zhong, Z. Li, K. Chakrabarty, and M. Pajic, “Synthesis of error-recovery protocols for micro-electrode-dot-array digital microfluidic biochips,” ACM Trans. Embedd. Comput. Syst. (TECS), Vol. 16, no. 5, pp. 1–22, 2017.
   Google Scholar
• Z. Zhong, Z. Li, and K. Chakrabarty, “Adaptive and roll-forward error recovery in MEDA biochips based on droplet-aliquot operations and predictive analysis,” IEEE Trans. Multi-Scale Comput. Syst., Vol. 4, no. 4, pp. 577–92, 2018.
   Web of Science ®Google Scholar
• H. Chen, S. Potluri, and F. Koushanfar, “Security of microfluidic biochip: Practical attacks and countermeasures,” ACM Trans. Design Autom. Electron. Syst. (TODAES), Vol. 25, no. 3, pp. 1–29, 2020.
   Web of Science ®Google Scholar
• S. Bhattacharjee, J. Tang, M. Ibrahim, K. Chakrabarty, and R. Karri. “Locking of biochemical assays for digital microfluidic biochips”, in Proceedings of IEEE 23rd European Test Symposium (ETS), Bremen, Germany, 2018, pp. 1–6.
   Google Scholar
• T.-C. Liang, M. Shayan, K. Chakrabarty, and R. Karri. “Execution of provably secure assays on meda biochips to thwart attacks,” in Proceedings of the 24th Asia and South Pacific Design Automation Conference, ACM, Tokyo, Japan, 2019, pp. 51–57.
   Google Scholar
• M.-R. Garey, and D.-S. Johnson. Computers and Intractability. New York: wh freeman, 2002, vol 29.
   Google Scholar
• M. Alistar, P. Pop, and J. Madsen, “Redundancy optimization for error recovery in digital microfluidic biochips,” Des. Autom. Embedd. Syst., Vol. 19, no. 1, pp. 129–159, 2015.
   Web of Science ®Google Scholar
• C.-H. Liu, T.-W. Chiang, and J.-D. Huang, “Reactant minimization in sample preparation on digital microfluidic biochips,” IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., Vol. 34, no. 9, pp. 1429–1440, 2015.
   Web of Science ®Google Scholar
• N. Kamal, A. Gupta, A. Singla, S. Tiwari, P. Kohli, S. Roy, and B.-B. Bhattacharya, “Architectural design of flow-based microfluidic biochips for multi-target dilution of biochemical fluids,” ACM Trans. Design Autom. Electron. Syst. (TODAES), Vol. 25, no. 3, pp. 1–34, 2020.
   Web of Science ®Google Scholar