MS. JAYA GUPTA ,Mr. NAVEEN 2024. Study of Design-Time Verification and Security Evaluation Techniques for Microfluidic Biochips . Journal of Computational Analysis and Applications (JoCAAA). 33, 06 (Jun. 2024), 2179–2187.