Blockchain technology is believed by many to be a game changer in many application
domains. While the first generation of blockchain technology (ie, Blockchain 1.0) is almost …

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 …

Blockchain technology is becoming increasingly attractive to the next generation, as it is
uniquely suited to the information era. Blockchain technology can also be applied to the …

Blockchains, and specifically smart contracts, have promised to create fair and transparent
trading ecosystems. Unfortunately, we show that this promise has not been met. We …

This paper describes Slither, a static analysis framework designed to provide rich
information about Ethereum smart contracts. It works by converting Solidity smart contracts …

Smart contracts that build up on blockchain technologies are receiving great attention in new
business applications and the scientific community, because they allow untrusted parties to …

Unlike traditional software, smart contracts have the unique organization in which a
sequence of transactions shares persistent states. Unfortunately, such a characteristic …

Blockchains, and specifically smart contracts, have promised to create fair and transparent
trading ecosystems. Unfortunately, we show that this promise has not been met. We …

Public sector and governments have been actively exploring new technologies to enable the
smart services transformation and to achieve strategic objectives such as citizens …

To this day, abstention rates continue to rise, largely due to the need to travel to vote. This is
why remote e-voting will increase the turnout by allowing everyone to vote without the need …