Towards a Management Plane for Smart Contracts: Ethereum Case Study

被引:0
|
作者
Khan, Nida [1 ]
Lahmadi, Abdelkader [2 ]
Francois, Jerome [2 ]
State, Radu [1 ]
机构
[1] Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, Luxembourg, Luxembourg
[2] Univ Lorraine, CNRS, INRIA, LORIA, F-54000 Nancy, France
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Blockchain is an emerging foundational technology with the potential to create a novel economic and social system. The complexity of the technology poses many challenges and foremost amongst these are monitoring and management of blockchain-based decentralized applications. In this paper, we design, implement and evaluate a novel system to enable management operations in smart contracts. A key aspect of our system is that it facilitates the integration of these operations through dedicated 'managing' smart contracts to provide data filtering as per the role of the smart contract-based application user. We evaluate the overhead costs of such data filtering operations after post-deployment analyses of five categories of smart contracts on the Ethereum public testnet, Rinkeby. We also build a monitoring tool to display public blockchain data using a dashboard coupled with a notification mechanism of any changes in private data to the administrator of the monitored decentralized application.
引用
收藏
页数:6
相关论文
共 50 条
  • [1] Towards Efficient Hashing in Ethereum Smart Contracts
    Onica, Emanuel
    Schifirnet, Cosmin-Ionut
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 660 - 666
  • [2] Towards Principled Compilation of Ethereum Smart Contracts (SoK)
    Arias, Emilio Jesus Gallego
    2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [3] Exploiting Ethereum Smart Contracts for Clinical Trial Management
    Omar, I. A.
    Jayaraman, R.
    Salah, K.
    Simsekler, M. C. E.
    2019 IEEE/ACS 16TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA 2019), 2019,
  • [4] Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity
    Zakrzewski, Jakub
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 229 - 247
  • [5] Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
    Kondo, Masanari
    Oliva, Gustavo A.
    Jiang, Zhen Ming
    Hassan, Ahmed E.
    Mizuno, Osamu
    EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (06) : 4617 - 4675
  • [6] Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform
    Masanari Kondo
    Gustavo A. Oliva
    Zhen Ming (Jack) Jiang
    Ahmed E. Hassan
    Osamu Mizuno
    Empirical Software Engineering, 2020, 25 : 4617 - 4675
  • [7] Confidential Ethereum Smart Contracts
    Yuan, Michael Juntao
    Hynes, Nick
    Long, Ju
    IT PROFESSIONAL, 2022, 24 (06) : 54 - 58
  • [8] Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts
    Hegedus, Peter
    2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB), 2018, : 35 - 39
  • [9] An exploratory study of smart contracts in the Ethereum blockchain platform
    Gustavo A. Oliva
    Ahmed E. Hassan
    Zhen Ming (Jack) Jiang
    Empirical Software Engineering, 2020, 25 : 1864 - 1904
  • [10] An exploratory study of smart contracts in the Ethereum blockchain platform
    Oliva, Gustavo A.
    Hassan, Ahmed E.
    Jiang, Zhen Ming
    EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (03) : 1864 - 1904