Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities

A Singh, RM Parizi, Q Zhang, KKR Choo… - Computers & …, 2020 - Elsevier
Blockchain as a distributed computing platform enables users to deploy pieces of software
(known as smart contracts) for a wealth of next-generation decentralized applications …

Security, performance, and applications of smart contracts: A systematic survey

S Rouhani, R Deters - IEEE Access, 2019 - ieeexplore.ieee.org
Blockchain is the promising technology of recent years, which has attracted remarkable
attention in both academic studies and practical industrial applications. The smart contract is …

Blockchain based secured information sharing protocol in supply chain management system with key distribution mechanism

SK Dwivedi, R Amin, S Vollala - Journal of Information Security and …, 2020 - Elsevier
Abstract The concept of Supply Chain Management (SCM) is very imperative while moving
sensitive products from one entity to the next entity until it reaches to the end-users to avoid …

A review on recent progress of smart contract in blockchain

C Wu, J Xiong, H Xiong, Y Zhao, W Yi - IEEE Access, 2022 - ieeexplore.ieee.org
A smart contract, in form, is represented as a piece of computer program code involving
related commercial transactions and algorithms. Essentially, this is the computerization of …

Legally enforceable smart-contract languages: A systematic literature review

V Dwivedi, V Pattanaik, V Deval, A Dixit… - ACM Computing …, 2021 - dl.acm.org
Smart contracts are a key component of today's blockchains. They are critical in controlling
decentralized autonomous organizations (DAO). However, smart contracts are not yet …

Catala: a programming language for the law

D Merigoux, N Chataing, J Protzenko - Proceedings of the ACM on …, 2021 - dl.acm.org
Law at large underpins modern society, codifying and governing many aspects of citizens'
daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout …

Blockchain-based secured event-information sharing protocol in internet of vehicles for smart cities

SK Dwivedi, R Amin, S Vollala, R Chaudhry - Computers & Electrical …, 2020 - Elsevier
An intelligent transportation system is an advanced application that aims to provide traffic
congestion information, road accidents, emergency information to other vehicles, etc. In the …

Blockchain-based vehicular ad-hoc networks: A comprehensive survey

SK Dwivedi, R Amin, AK Das, MT Leung, KKR Choo… - Ad Hoc Networks, 2022 - Elsevier
Vehicular ad-hoc networks (VANETs) are increasingly commonplace, partly due to the
popularity of electric vehicles and the digitalization of cities. Data collected and shared in …

A formal specification smart-contract language for legally binding decentralized autonomous organizations

V Dwivedi, A Norta, A Wulf, B Leiding, S Saxena… - IEEE …, 2021 - ieeexplore.ieee.org
Blockchain-and smart-contract technology enhance the effectiveness and automation of
business processes. The rising interest in the development of decentralized autonomous …

iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms

M Hamdaqa, LAP Met, I Qasse - Information and Software Technology, 2022 - Elsevier
Context: Smart contracts play a vital role in many fields. Despite being called smart, the
development of smart contracts is a tedious task beyond defining a set of contractual rules …