Blockchain is a revolutionary technology that enables users to communicate in a trust-less
manner. It revolutionizes the modes of business between organizations without the need for …

Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

This paper presents a dynamic, real-time approach to detecting anomalous blockchain
transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain …

Over the last few years, there has been substantial research on automated analysis, testing,
and debugging of Ethereum smart contracts. However, it is not trivial to compare and …

A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Smart contracts are at the heart of many decentralized applications, encapsulating core
parts of the business logic. They handle the exchange of valuable assets like crypto …

Smart contracts have become lucrative and profitable targets for attackers because they can
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …

Software development is a very broad activity that captures the entire life cycle of a software,
which includes designing, programming, maintenance and so on. In this study, we focus on …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Blockchain (BC), as an emerging technology, is revolutionizing Business Process
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …