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