Raj Parikh and Khushi Sandip Parikhtrans. 2025. Mathematical Foundations of AI-Based Secure Physical Design Verification. Indian Journal of VLSI Design (IJVLSID). 5, 1 (Mar. 2025), 1–7. DOI:https://doi.org/10.54105/ijvlsid.A1230.05010325.