共 50 条
- [1] Towards Efficient Hashing in Ethereum Smart Contracts PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 660 - 666
- [2] Towards Principled Compilation of Ethereum Smart Contracts (SoK) 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
- [3] Exploiting Ethereum Smart Contracts for Clinical Trial Management 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 VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 229 - 247
- [6] Code cloning in smart contracts: a case study on verified contracts from the Ethereum blockchain platform Empirical Software Engineering, 2020, 25 : 4617 - 4675
- [8] Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts 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 Empirical Software Engineering, 2020, 25 : 1864 - 1904