2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE)最新文献

Smart contracts: security patterns in the ethereum ecosystem and solidity 智能合约:以太坊生态系统中的安全模式和稳定性

2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) Pub Date : 2018-03-20 DOI: 10.1109/IWBOSE.2018.8327565

Maximilian Wöhrer, Uwe Zdun

引用次数: 230

Smart contracts vulnerabilities: a call for blockchain software engineering? 智能合约漏洞:呼吁区块链软件工程?

2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) Pub Date : 2018-03-20 DOI: 10.1109/IWBOSE.2018.8327567

Giuseppe Destefanis, M. Marchesi, Marco Ortu, R. Tonelli, A. Bracciali, R. Hierons

{"title":"Smart contracts vulnerabilities: a call for blockchain software engineering?","authors":"Giuseppe Destefanis, M. Marchesi, Marco Ortu, R. Tonelli, A. Bracciali, R. Hierons","doi":"10.1109/IWBOSE.2018.8327567","DOIUrl":"https://doi.org/10.1109/IWBOSE.2018.8327567","url":null,"abstract":"Smart Contracts have gained tremendous popularity in the past few years, to the point that billions of US Dollars are currently exchanged every day through such technology. However, since the release of the Frontier network of Ethereum in 2015, there have been many cases in which the execution of Smart Contracts managing Ether coins has led to problems or conflicts. Compared to traditional Software Engineering, a discipline of Smart Contract and Blockchain programming, with standardized best practices that can help solve the mentioned problems and conflicts, is not yet sufficiently developed. Furthermore, Smart Contracts rely on a non-standard software life-cycle, according to which, for instance, delivered applications can hardly be updated or bugs resolved by releasing a new version of the software. In this paper we advocate the need for a discipline of Blockchain Software Engineering, addressing the issues posed by smart contract programming and other applications running on blockchains.We analyse a case of study where a bug discovered in a Smart Contract library, and perhaps \"unsafe\" programming, allowed an attack on Parity, a wallet application, causing the freezing of about 500K Ethers (about 150M USD, in November 2017). In this study we analyze the source code of Parity and the library, and discuss how recognised best practices could mitigate, if adopted and adapted, such detrimental software misbehavior. We also reflect on the specificity of Smart Contract software development, which makes some of the existing approaches insufficient, and call for the definition of a specific Blockchain Software Engineering.","PeriodicalId":125618,"journal":{"name":"2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124214522","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 151

Evaluation of initial cryptoasset offerings: the state of the practice 初始加密资产产品的评估:实践状态

2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) Pub Date : 2018-03-20 DOI: 10.1109/IWBOSE.2018.8327569

Felix Hartmann, Xiaofeng Wang, M. I. Lunesu

{"title":"Evaluation of initial cryptoasset offerings: the state of the practice","authors":"Felix Hartmann, Xiaofeng Wang, M. I. Lunesu","doi":"10.1109/IWBOSE.2018.8327569","DOIUrl":"https://doi.org/10.1109/IWBOSE.2018.8327569","url":null,"abstract":"Initial Cryptoasset Offering (ICO), also often called Initial Coin Offering or Initial Token Offering (ITO) is a new means of fundraising through blockchain technology, which allows startups to raise large amounts of funds from the crowd in an unprecedented speed. However it is not easy for ordinary investors to distinguish genuine fundraising activities through ICOs from scams. Different websites that gather and evaluate ICOs at different stages have emerged as a solution to this issue. What remains unclear is how these websites are evaluating ICOs, and consequently how reliable and credible their evaluations are. In this paper we present the first findings of an analysis of a set of 28 ICO evaluation websites, aiming at revealing the state of the practice in terms of ICO evaluation. Key information about ICOs collected by these websites are categorised, and key factors that differentiate the evaluation mechanisms employed by these evaluation websites are identified. The findings of our study could help a better understanding of what entails to properly evaluate ICOs. It is also a first step towards discovering the key success factors of ICOs.","PeriodicalId":125618,"journal":{"name":"2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122170397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 32

Checking laws of the blockchain with property-based testing 通过基于属性的测试来检查区块链的规律

2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) Pub Date : 2018-03-20 DOI: 10.1109/IWBOSE.2018.8327570

A. Chepurnoy, Mayank Rathee

引用次数: 9

SmartInspect: solidity smart contract inspector SmartInspect:可靠的智能合约检查员

2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) Pub Date : 2018-03-20 DOI: 10.1109/IWBOSE.2018.8327566

Santiago Bragagnolo, Henrique Rocha, M. Denker, Stéphane Ducasse

引用次数: 69

The ICO phenomenon and its relationships with ethereum smart contract environment ICO现象及其与以太坊智能合约环境的关系

2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) Pub Date : 2018-03-04 DOI: 10.1109/IWBOSE.2018.8327568

G. Fenu, Lodovica Marchesi, M. Marchesi, R. Tonelli

{"title":"The ICO phenomenon and its relationships with ethereum smart contract environment","authors":"G. Fenu, Lodovica Marchesi, M. Marchesi, R. Tonelli","doi":"10.1109/IWBOSE.2018.8327568","DOIUrl":"https://doi.org/10.1109/IWBOSE.2018.8327568","url":null,"abstract":"Initial Coin Offerings (ICO) are public offers of new cryptocurrencies in exchange of existing ones, aimed to finance projects in the blockchain development arena. In the last 8 months of 2017, the total amount gathered by ICOs exceeded 4 billion US$, and overcame the venture capital funnelled toward high tech initiatives in the same period. A high percentage of ICOs is managed through Smart Contracts running on Ethereum blockchain, and in particular to ERC-20 Token Standard Contract. In this work we examine 1387 ICOs, published on December 31, 2017 on icobench.com website, gathering information relevant to the assessment of their quality and software development management, including data on their development teams. We also study, at the same date, the financial data of 450 ICO tokens available on coinmarketcap.com website, among which 355 tokens are managed on Ethereum blochain. We define success criteria for the ICOs, based on the funds actually gathered, and on the behavior of the price of the related tokens, finding the factors that most likely influence the ICO success likeliness.","PeriodicalId":125618,"journal":{"name":"2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122272106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 120