Follow
Samvid Dharanikota
Samvid Dharanikota
Microsoft Research India
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Celestial: A Smart Contracts Verification Framework
S Dharanikota, S Mukherjee, C Bhardwaj, A Rastogi, A Lal
Microsoft Research Technical Report, 2020
142020
Owl: Compositional verification of security protocols via an information-flow type system
J Gancher, S Gibson, P Singh, S Dharanikota, B Parno
Cryptology ePrint Archive, 2023
122023
Blockchain based Data Access Control using Smart Contracts
A Kiran, S Dharanikota, A Basava
TENCON 2019-2019 IEEE Region 10 Conference (TENCON), 2335-2339, 2019
112019
Blockchain Research and Applications: A Systematic Mapping Study
KSS Bharadwaj, S Dharanikota, A Honawad, K Chandrasekaran
IC-BCT 2019: Proceedings of the International Conference on Blockchain …, 2020
62020
CollabChain: Blockchain-Backed Trustless Web-Based Volunteer Computing Platform
KSS Bharadwaj, S Dharanikota, A Honawad, K Chandrasekaran
IFIP International Conference on Computer Information Systems and Industrial …, 2019
22019
Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons
S Dharanikota, RR Hansen, M Jensen, SR Kristensen, MS Michno, ...
22019
The system can't perform the operation now. Try again later.
Articles 1–6