共 50 条
- [41] Securing Smart Grid Communication using Ethereum Smart Contracts 2020 16TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE, IWCMC, 2020, : 1672 - 1678
- [42] Uncovering Vulnerabilities in Wasm Smart Contracts 2023 IEEE 43RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, ICDCS, 2023, : 1073 - 1074
- [46] GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 118 - 125
- [47] Automated Inference on Financial Security of Ethereum Smart Contracts PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 3367 - 3383
- [48] EthVer: Formal Verification of Randomized Ethereum Smart Contracts FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, 2021, 12676 : 364 - 380
- [49] SCSGuard: Deep Scam Detection for Ethereum Smart Contracts IEEE INFOCOM 2022 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2022,
- [50] ATL Model Checking for Analysis of Ethereum Smart Contracts Transactions of the Korean Institute of Electrical Engineers, 2021, 70 (12): : 2006 - 2014