UniqueID: Decentralized Proof-of-Unique-Human. - MohammadJavad Hajialikhani; MohammadMahdi Jahanara (CoRR, 2018)

Toward Probabilistic Checking against Non-Signaling Strategies with Constant Locality. - Mohammad Mahdi Jahanara; Sajin Koroth; Igor Shinkar (Electron. Colloquium Comput. Complex., 2020)

Automated Analysis of Halo2 Circuits. - Fatemeh Heidari Soureshjani; Mathias Hall-Andersen; MohammadMahdi Jahanara; Jeffrey Kam; Jan Gorzny; Mohsen Ahmadvand (IACR Cryptol. ePrint Arch., 2023)

Private Boosted Decision Trees via Smooth Re-Weighting. - MohammadMahdi Jahanara; Vahid R. Asadi; Marco Carmosino; Akbar Rafiey; Bahar Salamatian (J. Priv. Confidentiality, 2023)

On the Power of Interactive Proofs for Learning. - Tom Gur; Mohammad Mahdi Jahanara; Mohammad Mahdi Khodabandeh; Ninad Rajgopal; Bahar Salamatian; Igor Shinkar (STOC, 2024)