In the nine years since its launch, amid intense research, scalability is always a serious
concern in blockchain, especially in case of large-scale network generating huge number of …

Solidity sets its place as one of the most popular and widely-used smart contract language
for Ethereum in recent years. To automate the verification of Solidity codes, especially in …

Deductive verification has gained paramount attention from both academia and industry.
Although intensive research in this direction covers almost all mainstream languages, the …

SQL injection attack is one of the serious security threat for a database application. It permits
attackers to get unauthorized access to the database by inserting malicious SQL code into …

Now-a-days web applications are everywhere. Usually these applications are developed by
database program which are often written in popular host programming languages such as …

The growth of blockchain technology has been quite fast because of its decentralized nature
to keep data in the most immutable, confidential and secured form. But with more …

Blockchain technology has become crucial in improving the privacy and security of
enterprise applications in the cyber world. However, scalability has become a significant …

In a software system the database technology is one of the most important part that stores
external information into the permanent storage and process them accordingly. However …

Blockchain Technology is considered a nondestructive way to record changes in ledgers or
database. The best part of BCT is the recording of data over a decentralized system that …

Protecting confidentiality and integrity of sensitive information in blockchain software
systems is an important security aspect, which may be compromised due to unrestricted …