共 50 条
- [22] Rich Specifications for Ethereum Smart Contract Verification PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (OOPSLA):
- [23] The Sword of Damocles: Upgradeable Smart Contract in Ethereum PROCEEDINGS 2024 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, ICPC 2024, 2024, : 333 - 345
- [24] Vulnerabilities and Excess Gas Consumption Analysis Within Ethereum-Based Smart Contracts for Electricity Market BUSINESS INFORMATION SYSTEMS WORKSHOPS (BIS 2020), 2020, 394 : 99 - 110
- [25] Smart Home System Implementation Based on ARM Microprocessor PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON ELECTRONIC, MECHANICAL, INFORMATION AND MANAGEMENT SOCIETY (EMIM), 2016, 40 : 1152 - 1156
- [26] Implementation of Smart Home System Based on Internet of Things SENSORS, MEASUREMENT AND INTELLIGENT MATERIALS II, PTS 1 AND 2, 2014, 475-476 : 1150 - +
- [28] Detecting Ethereum Ponzi Scheme Based on Hybrid Sampling for Smart Contract CMC-COMPUTERS MATERIALS & CONTINUA, 2025, 82 (02): : 3111 - 3130
- [29] Analyzing Ethereum Smart Contract Vulnerabilities at Scale Based on Inter-Contract Dependency CMES-COMPUTER MODELING IN ENGINEERING & SCIENCES, 2023, 135 (02): : 1625 - 1647