SolSaviour: A Defending Framework for Deployed Defective Smart Contracts-Reference-Cited by-同舟云学术

SolSaviour: A Defending Framework for Deployed Defective Smart Contracts

Published:2021-12-06 Issue: Volume: Page:
ISSN:
Container-title:Annual Computer Security Applications Conference
language:
Short-container-title:

Author:

Li Zecheng¹,Zhou Yu¹,Guo Songtao²,Xiao Bin¹

Affiliation:

1. Department of Computing, The Hong Kong Polytechnic University, Hong Kong

2. College of Computer Science, Chongqing University, China

Funder

HK RGC GRF

Publisher

ACM

Link

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

Reference41 articles.

1. Anthony Akentiev. 2017. Parity Multisig Hacked. Again. https://medium.com/chain-cloud-company-blog/parity-multisig-hack-again-b46771eaa838 Anthony Akentiev. 2017. Parity Multisig Hacked. Again. https://medium.com/chain-cloud-company-blog/parity-multisig-hack-again-b46771eaa838

2. Eric Banisadr. 2018. How $800k Evaporated from the PoWH Coin Ponzi Scheme Overnight. https://medium.com/@ebanisadr/how-800k-evaporated-from-the-powh-coin-ponzi-scheme-overnight-1b025c33b530 Eric Banisadr. 2018. How $800k Evaporated from the PoWH Coin Ponzi Scheme Overnight. https://medium.com/@ebanisadr/how-800k-evaporated-from-the-powh-coin-ponzi-scheme-overnight-1b025c33b530

3. Formal Verification of Smart Contracts

4. Ivan Bogatyy. 2017. Implementing Ethereum trading front-runs on the Bancor exchange in Python. https://hackernoon.com/front-running-bancor-in-150-lines-of-python-with-ethereum-api-d5e2bfd0d798 Ivan Bogatyy. 2017. Implementing Ethereum trading front-runs on the Bancor exchange in Python. https://hackernoon.com/front-running-bancor-in-150-lines-of-python-with-ethereum-api-d5e2bfd0d798

5. Mic Bowman Andrea Miele Michael Steiner and Bruno Vavala. 2018. Private Data Objects: An Overview. arXiv preprint arXiv:1807.05686(2018). Mic Bowman Andrea Miele Michael Steiner and Bruno Vavala. 2018. Private Data Objects: An Overview. arXiv preprint arXiv:1807.05686(2018).

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

1. StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract;Companion Proceedings of the ACM Web Conference 2024;2024-05-13

2. EVM-Shield: In-Contract State Access Control for Fast Vulnerability Detection and Prevention;IEEE Transactions on Information Forensics and Security;2024

3. SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Dynamic Analysis for Detection of Self-Destructive Smart Contracts;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06

5. Securing Deployed Smart Contracts and DeFi With Distributed TEE Cluster;IEEE Transactions on Parallel and Distributed Systems;2023-03-01