About the Book

A microfluidic biochip is an engineered fluidic device that controls the flow of analytes, thereby enabling a variety of useful applications. According to recent studies, the fields that are best set to benefit from the microfluidics technology, also known as lab-on-chip technology, include forensic identification, clinical chemistry, point-of-care (PoC) diagnostics, and drug discovery. The growth in such fields has significantly amplified the impact of microfluidics technology, whose market value is forecast to grow from $4 billion in 2017 to $13.2 billion by 2023. The rapid evolution of lab-on-chip technologies opens up opportunities for new biological or chemical science areas that can be directly facilitated by sensor-based microfluidics control. For example, the digital microfluidics-based ePlex system from GenMarkDx enables automated disease diagnosis and can bring syndromic testing near patients everywhere.

However, as the applications of molecular biology grow, the adoption of microfluidics in many applications has not grown at the same pace, despite the concerted effort of microfluidic systems engineers. Recent studies suggest that state-of-the-art design techniques for microfluidics have two major drawbacks that need to be addressed appropriately: (1) current lab-on-chip systems were only optimized as auxiliary components and are only suitable for sample-limited analyses; therefore, their capabilities may not cope with the requirements of contemporary molecular biology applications; (2) the integrity of these automated lab-on-chip systems and their biochemical operations are still an open question since no protection schemes were developed against adversarial contamination or result-manipulation attacks. Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms provides solutions to these challenges by introducing a new design flow based on the realistic modeling of contemporary molecular biology protocols. It also presents a microfluidic security flow that provides a high-level of confidence in the integrity of such protocols. In summary, this book creates a new research field as it bridges the technical skills gap between microfluidic systems and molecular biology protocols but it is viewed from the perspective of an electronic/systems engineer.

Table of Contents:
1. Introduction. 2. Synthesis for Multiple Sample Pathways: Gene-Expression Analysis. 3. Synthesis of Protocols with Temporal Constraints: Epigenetic Analysis. 4. A Micro fluidics-Driven Cloud Service: Genomic Association Studies. 5. Synthesis of Protocols with Indexed Samples: Single-Cell Analysis. 6. Timing-Driven Synthesis with Pin Constraints: Single-Cell Screening. 7. Synthesis for Parameter-Space Exploration: Synthetic Bio-circuits. 8. Fault-Tolerant Realization of Biomolecular Assays. 9. Security Vulnerabilities of Quantitative-Analysis Frame-works. 10. Security Countermeasures of Quantitative-Analysis Frame-works. 11. Conclusion and Future Outlook. Appendix A Proof of Theorem 5.1: A Fully Connected Routing Crossbar. Appendix B Modeling a Fully Connected Routing Crossbar. Appendix C Proof of Lemma 6.1: Derivation of Control Delay Vector. Appendix D Proof of Theorem 6.1: Derivation of Control Latency. Appendix E Proof of Lemma 7.1: Properties of Aliquot-Generation Trees. Appendix F Proof of Theorem 7.1: Recursion in Aliquot-Generation Trees. Bibliography.