Abstract
The well-worn maxim that an ounce of prevention is worth a pound of cure certainly applies to the design of secure systems; security breaches are difficult to contain due to the speed, scale, and low-cost of information dissemination on the internet. When security breaches result in physical damage, the lost assets may be difficult or impossible to replace, e.g., DNA samples from a crime scene. This chapter develops techniques for the prevention of actuation tampering attacks on a cyberphysical microfluidic biochip by leveraging the inherent loss of control freedom from pin-constrained digital microfluidic biochips.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Y. Zhao, T. Xu, K. Chakrabarty, Broadcast electrode-addressing and scheduling methods for pin-constrained digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(7), 986–999 (2011)
S.-T. Yu, S.-H. Yeh, T.-Y. Ho, Reliability-driven chip-level design for high-frequency digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(4), 529–539 (2015)
T.-W. Huang, T.-Y. Ho, K. Chakrabarty, Reliability-oriented broadcast electrode-addressing for pin-constrained digital microfluidic biochips, in Proceedings IEEE/ACM International Conference Computer-Aided Design (2011), pp. 448–455
T.-W. Huang, H.-Y. Su, T.-Y. Ho, Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips, in Proceedings IEEE/ACM Design Automation Conference (2011), pp. 741–746
D. Grissom, C. Curtis, S. Windh, C. Phung, N. Kumar, Z. Zimmerman, O. Kenneth, J. McDaniel, N. Liao, P. Brisk, An open-source compiler and PCB synthesis tool for digital microfluidic biochips. Integr. VLSI J. 51, 169–193 (2015)
T. A. Dinh, S. Yamashita, T.-Y. Ho, An optimal pin-count design with logic optimization for digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(4), 629–641 (2015)
F. Su, K. Chakrabarty, High-level synthesis of digital microfluidic biochips. ACM J. Emerg. Technol. Comput. Syst. 3(4), 1 (2008)
J. Tang, M. Ibrahim, K. Chakrabarty, R. Karri, Secure randomized checkpointing for digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37, 1119–1132 (2018)
S.S. Ali, M. Ibrahim, O. Sinanoglu, K. Chakrabarty, R. Karri, Security assessment of cyberphysical digital microfluidic biochips. IEEE/ACM Trans. Comput. Biol. Bioinform. 13(3), 445–458 (2016)
M. Ibrahim, K. Chakrabarty, K. Scott, Synthesis of cyberphysical digital-microfluidic biochips for real-time quantitative analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(5), 733–746 (2017)
Y. Luo, K. Chakrabarty, T.-Y. Ho, Error recovery in cyberphysical digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(1), 59–72 (2013)
Y. Zhao, T. Xu, K. Chakrabarty, Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip. ACM J. Emerg. Technol. Comput. Syst. 6(3), 11 (2010)
H. Chen, S. Potluri, F. Koushanfar, BioChipWork: reverse engineering of microfluidic biochips, in Proceedings IEEE International Conference Computer Design (Newton, MA) (2017) pp. 9–16
H. Yao, Q. Wang, Y. Shen, T.-Y. Ho, Y. Cai, Integrated functional and washing routing optimization for cross-contamination removal in digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(8), 1283–1296 (2016)
S.E. Schaeffer, Graph clustering. Comput. Sci. Rev. 1(1), 27–64 (2007)
T.F. Gonzalez, Clustering to minimize the maximum intercluster distance. Theor. Comput. Sci. 38, 293–306 (1985)
T.-W. Huang, T.-Y. Ho, A fast routability- and performance-driven droplet routing algorithm for digital microfluidic biochips, in Proceedings IEEE International Conference Computer Design (2009), pp. 445–450.
Y. Zhao, K. Chakrabarty, Cross-contamination avoidance for droplet routing in digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(6), 817–830 (2012)
J.K. Park, S.J. Lee, K.H. Kang, Fast and reliable droplet transport on single-plate electrowetting on dielectrics using nonfloating switching method. Biomicrofluidics 4(2), 024102 (2010)
J. Tang, M. Ibrahim, K. Chakrabarty, Randomized checkpoints: a practical defense for cyberphysical microfluidic systems. IEEE Des. Test 36(1), 5–13 (2018)
D. Agrawal, B. Archambeault, J.R. Rao, P. Rohatgi, The EM side-channel(s), in Proceedings International. Workshop Cryptographic Hardware Embedded System (Springer, Berlin, 2002), pp. 29–45.
R. Langner, Stuxnet: dissecting a cyberwarfare weapon. IEEE Secur. Priv. 9(3), 49–51 (2011)
T. Mendelsohn, Secure boot snafu: Microsoft leaks backdoor key, firmware flung wide open (2016)
D. Goodin, In blunder threatening windows users, d-link publishes code-signing key (2015)
B. Schneier, Sony PlayStation 3 master key leaked (2012)
D.T. Grissom, J. McDaniel, P. Brisk, A low-cost field-programmable pin-constrained digital microfluidic biochip. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 33(11), 1657–1670 (2014)
D.T. Grissom, P. Brisk, Fast online synthesis of digital microfluidic biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(3), 356–369 (2014)
D. Grissom, C. Curtis, P. Brisk, Interpreting assays with control flow on digital microfluidic biochips. ACM J. Emerg. Technol. Comput. Syst. 10(3), 24 (2014)
G. Wang, D. Teng, Y.-T. Lai, Y.-W. Lu, Y. Ho, C.-Y. Lee, Field-programmable lab-on-a-chip based on microelectrode dot array architecture. IET Nanobiotechnol. 8(3), 163–171 (2013)
G. Wang, D. Teng, S.-K. Fan, Digital microfluidic operations on micro-electrode dot array architecture. IET Nanobiotechnol. 5(4), 152–160 (2011)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Tang, J., Ibrahim, M., Chakrabarty, K., Karri, R. (2020). Prevention: Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips. In: Secure and Trustworthy Cyberphysical Microfluidic Biochips. Springer, Cham. https://doi.org/10.1007/978-3-030-18163-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-18163-5_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18162-8
Online ISBN: 978-3-030-18163-5
eBook Packages: EngineeringEngineering (R0)