14 citations · 16 across the 3 of their papers we have counts for
3 papers
Gradual Verification for Smart Contracts
Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila +2
Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external…
Aspect-Sentiment Embeddings for Company Profiling and Employee Opinion Mining
Rajiv Bajpai, Devamanyu Hazarika, Kunal Singh +3
With the multitude of companies and organizations abound today, ranking them and choosing one out of the many is a difficult and cumbersome task. Although there are many available…
TEduChain: A Platform for Crowdsourcing Tertiary Education Fund using Blockchain Technology
Mahmood A. Rashid, Krishneel Deo, Divnesh Prasad +3
Blockchain is an emerging technology framework for creating and storing transaction in distributed ledgers with a high degree of security and reliability. In this paper we present…