Samvid Dharanikota

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Computing Platform

Security Protocols

Cryptographic Protocols

Information Flows

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. SP (2023)
Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, Bryan Parno
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System. IACR Cryptol. ePrint Arch. 2023 (2023)
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
Celestial: A Smart Contracts Verification Framework. FMCAD (2021)
Adya Kiran, Samvid Dharanikota, Annappa Basava
Blockchain based Data Access Control using Smart Contracts. TENCON (2019)
K. S. Sagar Bharadwaj, Samvid Dharanikota, Adarsh Honawad, K. Chandrasekaran
CollabChain: Blockchain-Backed Trustless Web-Based Volunteer Computing Platform. CISIM (2019)