Celestial: A Smart Contracts Verification Framework S Dharanikota, S Mukherjee, C Bhardwaj, A Rastogi, A Lal Microsoft Research Technical Report, 2020 | 14 | 2020 |
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 | 11 | 2023 |
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 | 11 | 2019 |
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 | 5 | 2020 |
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 | 2 | 2019 |
Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons S Dharanikota, RR Hansen, M Jensen, SR Kristensen, MS Michno, ... | 2 | 2019 |