共 50 条
- [42] 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
- [44] Automated Inference on Financial Security of Ethereum Smart Contracts PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM, 2023, : 3367 - 3383
- [45] Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
- [46] EthVer: Formal Verification of Randomized Ethereum Smart Contracts FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, 2021, 12676 : 364 - 380
- [47] SCSGuard: Deep Scam Detection for Ethereum Smart Contracts IEEE INFOCOM 2022 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2022,
- [48] OSIRIS: Hunting for Integer Bugs in Ethereum Smart Contracts 34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018), 2018, : 664 - 676
- [49] ATL Model Checking for Analysis of Ethereum Smart Contracts Transactions of the Korean Institute of Electrical Engineers, 2021, 70 (12): : 2006 - 2014
- [50] Foundations and Tools for the Static Analysis of Ethereum Smart Contracts COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 51 - 78