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 …

The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Being the blockchain and distributed ledger technologies particularly suitable to create
trusted environments where participants do not trust each other, business process …

Energy management is one of the greatest challenges in smart cities. Moreover, the
presence of autonomous vehicles makes this task even more complex. In this paper, we …

Smart contracts are the building blocks of the “code is law” paradigm: the smart contract's
code indisputably describes how its assets are to be managed-once it is created, its code is …

We present an invariant-based specification and verification methodology that allows us to
conveniently specify and verify strong data integrity properties for Solidity smart contracts …

This paper introduces a blockchain-based federated learning (FL) framework with incentives
for participating nodes to enhance the accuracy of classification problems. Machine learning …

Metaverse is an integration of many different technologies like blockchain, AI, edge
computing, virtual reality, and many more, simulating the physical world in a virtual …

Blockchain technology has evolved from a cryptocurrency-exclusive technique for direct
transactions among distrusting users (ie, Blockchain 1.0), into a general programming …

In our previous work, we proposed a verification framework that shifts from the “code is law”
to a new “specification is law” paradigm related to the safe evolution of smart contracts. The …