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