WASAI: uncovering vulnerabilities in Wasm smart contracts-Reference-Cited by-同舟云学术

WASAI: uncovering vulnerabilities in Wasm smart contracts

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Chen Weimin¹,Sun Zihan²,Wang Haoyu³,Luo Xiapu¹,Cai Haipeng⁴,Wu Lei⁵

Affiliation:

1. Hong Kong Polytechnic University, China

2. Beijing University of Posts and Telecommunications, China

3. Huazhong University of Science and Technology, China

4. Washington State University, USA

5. Zhejiang University, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3533767.3534218

Reference68 articles.

1. J. Bergbom. 202

2. W. Bian , W. Meng , and Y. Wang . 2019. Poster: Detecting WebAssembly-Based Cryptocurrency Mining . In Proc. ACM SIGSAC Conference on Computer and Communications Security. W. Bian, W. Meng, and Y. Wang. 2019. Poster: Detecting WebAssembly-Based Cryptocurrency Mining. In Proc. ACM SIGSAC Conference on Computer and Communications Security.

3. Block.one. 2021. A blockchain protocol with industry-leading transaction speed and flexible utility. [Online]. Available: https://eos.io/. Block.one. 2021. A blockchain protocol with industry-leading transaction speed and flexible utility. [Online]. Available: https://eos.io/.

4. L. Breidenbach , P. Daian , F. Tramèr , and A. Juels . 2018. Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts . In Proc. USENIX Security Symposium. L. Breidenbach, P. Daian, F. Tramèr, and A. Juels. 2018. Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts. In Proc. USENIX Security Symposium.

5. J. Chen , X. Xia , D. Lo , J. Grundy , X. Luo , and T. Chen . 2022 . DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode . IEEE Transactions on Software Engineering ( 2022 ). J. Chen, X. Xia, D. Lo, J. Grundy, X. Luo, and T. Chen. 2022. DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode. IEEE Transactions on Software Engineering ( 2022 ).

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Vulnerability detection techniques for smart contracts: A systematic literature review;Journal of Systems and Software;2024-11

2. Issues and Their Causes in WebAssembly Applications: An Empirical Study;Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering;2024-06-18

3. OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities;Empirical Software Engineering;2024-06-18

4. Towards Smart Contract Fuzzing on GPUs;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

5. VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart Contracts;ACM Transactions on Modeling and Performance Evaluation of Computing Systems;2024-03-18