CollabChain: Blockchain-Backed Trustless Web-Based Volunteer Computing Platform. - K. S. Sagar Bharadwaj; Samvid Dharanikota; Adarsh Honawad; K. Chandrasekaran 001 (CISIM, 2019)

Blockchain based Data Access Control using Smart Contracts. - Adya Kiran; Samvid Dharanikota; Annappa Basava (TENCON, 2019)

Celestial: A Smart Contracts Verification Framework. - Samvid Dharanikota; Suvam Mukherjee; Chandrika Bhardwaj; Aseem Rastogi; Akash Lal (FMCAD, 2021)

Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. - Joshua Gancher; Sydney Gibson; Pratap Singh; Samvid Dharanikota; Bryan Parno (IACR Cryptol. ePrint Arch., 2023)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM. - Ao Li 009; Byeongjee Kang; Vasudev Vikram; Isabella Laybourn; Samvid Dharanikota; Shrey Tiwari; Rohan Padhye (CoRR, 2025)