关注
Samvid Dharanikota
Samvid Dharanikota
Microsoft Research India
在 microsoft.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
112023
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
52020
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
系统目前无法执行此操作,请稍后再试。
文章 1–6