- Program Chairs:
- Roberto Tonelli,
- Giuseppe Destefanis,
- Steve Counsell,
- Michele Marchesi
Welcome to WETSEB 2018, the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain.
The Workshop on Emerging Trends in Software Engineering for Blockchain inherits from the past eight editions of WETSoM (Workshop on Emerging Trends on Software Metrics) the challenges of gathering together researchers interested in emerging topics and trends in software engineering. This year the attention of organizers mainly focuses on a newly emerging field of research in a software technology whose powerful wide-spreading is disruptively invading academy, industry, finance, and media: the Blockchain software technology.
Motivations for this workshop are the outstanding increased interest in software communities, in the academy, in the industry, in the finance and the media of the new emerging software technology of the Blockchain. Some observers are even talking of the dawn of a new era, with the potential of reshaping the current financial services technical infrastructure. This workshop aims at bringing the interest of researchers, practitioners, and people from industry to the current issues and new directions and challenges for blockchain-oriented software engineering, and at investigating the need for novel specialized software engineering practices for the Blockchain software sector.
This year WETSEB features ten accepted papers, presenting a spectrum of reflections on blockchain application design, the complexity of languages for smart contracts, the use of blockchain for smart contracts, and visions on modeling blockchain-oriented software.
Proceeding Downloads
Ethereum query language
Blockchains store a massive amount of heterogeneous data which will only grow in time. When searching for data on the Ethereum platform, one is required to either access the records (blocks) directly by using a unique identifier, or sequentially search ...
SmartCheck: static analysis of ethereum smart contracts
- Sergei Tikhomirov,
- Ekaterina Voskresenskaya,
- Ivan Ivanitskiy,
- Ramil Takhaviev,
- Evgeny Marchenko,
- Yaroslav Alexandrov
Ethereum is a major blockchain-based platform for smart contracts - Turing complete programs that are executed in a decentralized network and usually manipulate digital units of value. Solidity is the most mature high-level smart contract language. ...
NECTAR: non-interactive smart contract protocol using blockchain technology
Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have the ...
Evaluating complexity and digitizability of regulations and contracts for a blockchain application design
Blockchain technology becomes the key solution to provide trust and security without any need for a central supervisory authority to validate the transactions. By now, it plays a key role in the digital transformation of several processes and industries ...
SHARVOT: secret SHARe-based VOTing on the blockchain
Recently, there has been a growing interest in using online technologies to design protocols for secure electronic voting. The main challenges include vote privacy and anonymity, ballot irrevocability and transparency throughout the vote counting ...
Towards analyzing the complexity landscape of solidity based ethereum smart contracts
The blockchain based decentralized cryptocurrency platforms are one of the hottest topics in tech at the moment. Though most of the interest is generated by cryptocurrency related activities, it is becoming apparent that a much wider spectrum of ...
ReviewChain: untampered product reviews on the blockchain
Online portals include an increasing amount of user feedback in form of ratings and reviews. Recent research highlighted the importance of this feedback and confirmed that positive feedback improves product sales figures and thus its success. Online ...
How much blockchain do you need?: towards a concept for building hybrid DApp architectures
Adding blockchain technology to existing systems instead of building them from the ground up poses several challenges. It is difficult to find out which attributes of blockchains are important for a given use case (e.g. immutable, trustless, anonymous) ...
Proof-of-property: a lightweight and scalable blockchain protocol
The expansion of blockchain technologies from financial applications to other fields intensifies the problem of an increasing size of data stored in the blockchain. Unfortunately, new participants of the blockchain network are required to download the ...
Preliminary steps towards modeling blockchain oriented software
Even though blockchain is mostly popular for its cryptocurrency, smart contracts have become a very prominent blockchain application. Smart contracts are like classes that can be called by client applications outside the blockchain. Therefore it is ...