Samvid Dharanikota

According to our database, Samvid Dharanikota authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2021

Celestial: A Smart Contracts Verification Framework.

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

Proceedings of the Formal Methods in Computer Aided Design, 2021

2019

Blockchain based Data Access Control using Smart Contracts.

Adya Kiran, Samvid Dharanikota, Annappa Basava

Proceedings of the TENCON 2019, 2019

CollabChain: Blockchain-Backed Trustless Web-Based Volunteer Computing Platform.

K. S. Sagar Bharadwaj, Samvid Dharanikota, Adarsh Honawad, K. Chandrasekaran

Proceedings of the Computer Information Systems and Industrial Management, 2019