Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32. - Mihir Parang Mehta (ACL2, 2018)

Binary-Compatible Verification of Filesystems with ACL2. - Mihir Parang Mehta; William R. Cook (ITP, 2019)

Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. - Mihir Parang Mehta; William R. Cook (SBMF, 2020)

Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. - Aarti Gupta; Roope Kaivola; Mihir Parang Mehta; Vaibhav Singh (FMCAD, 2022)