共 50 条
- [1] 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
- [2] Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 229 - 247
- [3] Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity 2018 IEEE 1ST INTERNATIONAL WORKSHOP ON BLOCKCHAIN ORIENTED SOFTWARE ENGINEERING (IWBOSE), 2018, : 2 - 8
- [4] A Survey of Tools for Analyzing Ethereum Smart Contracts 2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON), 2019, : 69 - 78
- [5] Characterizing Types of Smart Contracts in the Ethereum Landscape FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2020, 2020, 12063 : 389 - 404
- [6] Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum 2022 IEEE SECURE DEVELOPMENT CONFERENCE (SECDEV 2022), 2022, : 3 - 4
- [7] Towards Efficient Hashing in Ethereum Smart Contracts PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 660 - 666
- [8] The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12674 LNCS : 33 - 52
- [9] The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, PT I, 2021, 12674 : 33 - 52
- [10] Towards Principled Compilation of Ethereum Smart Contracts (SoK) 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,