Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

14 December 2018

Papers citing "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"

50 / 79 papers shown

Title
ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis Chenyang Peng Haijun Wang Yin Wu Hao Wu Ming Fan Yitao Zhao Ting Liu 7 0 0 18 Jun 2025
CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain LingXiang Wang Hainan Zhang Qinnan Zhang Ziwei Wang Hongwei Zheng Jin Dong Zhiming Zheng 145 0 0 28 Apr 2025
Secure Smart Contract with Control Flow Integrity Zhiyang Chen Sidi Mohamed Beillahi Pasha Barahimi Cyrus Minwalla Han Du A. Veneris Fan Long 54 0 0 07 Apr 2025
Demystifying Private Transactions and Their Impact in PoW and PoS Ethereum Xingyu Lyu Mengya Zhang Xiaokuan Zhang Jianyu Niu Yize Zhang Zhiqiang Lin 65 0 0 30 Mar 2025
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models Yanwei Yue Jing Chen Ziwei Wang Ruichao Liang Ruiying Du 72 18 0 12 Nov 2024
COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts Wenkai Li Xiaoqi Li Zongwei Li Yuqing Zhang 132 19 0 28 Oct 2024
Count of Monte Crypto: Accounting-based Defenses for Cross-Chain Bridges Enze Liu Elisa Luo Jian Chen Yan Katherine Izhikevich Stewart Grant Deian Stefan G. Voelker Stefan Savage 119 0 0 01 Oct 2024
Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum Cheng-Kang Chen Wen-Yi Chu Muoi Tran Laurent Vanbever Hsu-Chun Hsiao 47 2 0 20 Sep 2024
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long 27 2 0 14 Jul 2024
Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by Developers Sébastien Andreina Tobias Cloosters Lucas Davi Jens-Rene Giesen Marco Gutfleisch Ghassan O. Karame Alena Naiakshina Houda Naji LRM 36 1 0 19 Jun 2024
DeFiGuard: A Price Manipulation Detection Service in DeFi using Graph Neural Networks Dabao Wang Bang Wu Xingliang Yuan Lei Wu Yajin Zhou Helei Cui 47 3 0 17 Jun 2024
Stealing Trust: Unveiling Vulnerabilities in Web3 Authentication Kailun Yan Xiaokuan Zhang Wenrui Diao 33 0 0 01 Jun 2024
All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts Tianle Sun Ningyu He Jiang Xiao Yinliang Yue Xiapu Luo Haoyu Wang 49 4 0 31 May 2024
Temporarily Restricting Solidity Smart Contract Interactions Valerian Callens Zeeshan Meghji J. Gorzny 59 5 0 15 May 2024
Large Language Models for Cyber Security: A Systematic Literature Review HanXiang Xu Shenao Wang Ningke Li Kaidi Wang Yanjie Zhao Kai Chen Ting Yu Yang Liu Haoyu Wang 117 43 0 08 May 2024
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Ye Liu Yue Xue Daoyuan Wu Yuqiang Sun Yi Li Miaolei Shi Yang Liu 98 27 0 04 May 2024
A Novel Classification of Attacks on Blockchain Layers: Vulnerabilities, Attacks, Mitigations, and Research Directions Kaustubh Dwivedi Ankit Agrawal Ashutosh Bhatia Kamlesh Tiwari 46 6 0 28 Apr 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts Zhiyang Chen Ye Liu Sidi Mohamed Beillahi Yi Li Fan Long 84 12 0 22 Apr 2024
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts Shuo Yang Jiachi Chen Mingyuan Huang Zibin Zheng Yuan Huang 70 11 0 28 Mar 2024
Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild Jiaqi Chen Yibo Wang Yuxuan Zhou Wanning Ding Y. Tang Xiaofeng Wang Kai Li 277 7 0 21 Jan 2024
LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts Shoupeng Ren Tianyu Tu Jian Liu Di Wu Kui Ren Kui Ren Chun Chen AAML 116 3 0 14 Jan 2024
Vulnerability Scanners for Ethereum Smart Contracts: A Large-Scale Study Christoph Sendner Lukas Petzi Jasper Stang Alexandra Dmitrienko 49 2 0 27 Dec 2023
MuFuzz: Sequence-Aware Mutation and Seed Mask Guidance for Blockchain Smart Contract Fuzzing Peng Qian Hanjie Wu Zeren Du Turan Vural Dazhong Rong Yanbin Wang Lun Zhang Yanbin Wang Jianhai Chen Qinming He 79 5 0 07 Dec 2023
Gradual Verification for Smart Contracts Haojia Sun Kunal Singh Jan-Paul Ramos-Dávila Jonathan Aldrich Jenna DiVincenzo 21 0 0 22 Nov 2023
Survey on Quality Assurance of Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Xiaoxuan Yang Liehuang Zhu 93 8 0 01 Nov 2023
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts Zhiyuan Wei Jing Sun Zijian Zhang Xianhao Zhang Meng Li Liehuang Zhu ELM 54 2 0 31 Oct 2023
Unmasking Role-Play Attack Strategies in Exploiting Decentralized Finance (DeFi) Systems Weilin Li Zhun Wang Chenyu Li Heying Chen Taiyu Wong Pengyu Sun Yufei Yu Chao Zhang AAML 76 2 0 02 Oct 2023
Fuzz on the Beach: Fuzzing Solana Smart Contracts Sven Smolka Jens-Rene Giesen Pascal Winkler Oussama Draissi Lucas Davi Ghassan O. Karame Klaus Pohl 49 16 0 06 Sep 2023
Empirical Review of Smart Contract and DeFi Security: Vulnerability Detection and Automated Repair Peng Qian Rui Cao Zhenguang Liu Wenqing Li Ming Li Lun Zhang Yufeng Xu Jianhai Chen Qinming He 93 8 0 05 Sep 2023
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis Yuqiang Sun Daoyuan Wu Yue Xue Hangbo Liu Haijun Wang Zhengzi Xu Xiaofei Xie Yang Liu 64 96 0 07 Aug 2023
Do you still need a manual smart contract audit? Isaac David Liyi Zhou Kaihua Qin Basel Alomair Lorenzo Cavallaro Arthur Gervais 80 51 0 21 Jun 2023
Vulnerable Smart Contract Function Locating Based on Multi-Relational Nested Graph Convolutional Network Haiyang Liu Yuqi Fan Lin Feng Zhenchun Wei 44 12 0 07 Jun 2023
Blockchain Large Language Models Y. Gai Liyi Zhou Kaihua Qin Basel Alomair Arthur Gervais 65 26 0 25 Apr 2023
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 58 7 0 21 Apr 2023
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation Michael Rodler D. Paaßen Wenting Li Lukas Bernhard Thorsten Holz Ghassan O. Karame Lucas Davi 42 19 0 13 Apr 2023
Analyzing the Impact of Elusive Faults on Blockchain Reliability F. Vidal N. Ivaki N. Laranjeiro 39 1 0 11 Apr 2023
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? Stefanos Chaliasos Marcos Antonios Charalambous Liyi Zhou R. Galanopoulou Arthur Gervais Dimitris Mitropoulos B. Livshits 60 42 0 06 Apr 2023
OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities F. Vidal N. Ivaki N. Laranjeiro 41 17 0 25 Mar 2023
Blockchain-Empowered Trustworthy Data Sharing: Fundamentals, Applications, and Challenges Linh-TX Nguyen L. Nguyen Thong Hoang Dilum Bandara Qin Wang Qinghua Lu Xiwei Xu Liming Zhu P. Popovski Shiping Chen 68 15 0 12 Mar 2023
Security Defense For Smart Contracts: A Comprehensive Survey Nikolay Ivanov Chenning Li Qiben Yan Zhi-Guang Sun Zhichao Cao Xiapu Luo 89 40 0 14 Feb 2023
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts Nikolay Ivanov Qiben Yan Anurag Kompalli 69 20 0 20 Jan 2023
Abstract interpretation of Michelson smart-contracts Guillaume Bau A. Miné Vincent Botbol Mehdi Bouaziz 60 11 0 11 Oct 2022
Smart Contract Vulnerability Detection Technique: A Survey Peng Qian Zhenguang Liu Qinming He Butian Huang Duanzheng Tian Xun Wang 61 57 0 13 Sep 2022
An Automated Analyzer for Financial Security of Ethereum Smart Contracts Wansen Wang Wenchao Huang Zhaoyi Meng Yan Xiong Fuyou Miao Xianjin Fang Caichang Tu Renjie Ji 65 1 0 27 Aug 2022
Xscope: Hunting for Cross-Chain Bridge Attacks Jiashuo Zhang Jianbo Gao Yue Li Ziming Chen Zhi Guan Zhong Chen 37 37 0 15 Aug 2022
An Empirical Study on Ethereum Private Transactions and the Security Implications Xing-Long Lyu Mengya Zhang Xiaokuan Zhang Jianyu Niu Yinqian Zhang Zhiqiang Lin 91 21 0 04 Aug 2022
BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects Xiao Yi Yuzhou Fang Daoyuan Wu Lingxiao Jiang 67 19 0 30 Jul 2022
A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation Ningyu He Haoyu Wang Lei Wu Xiapu Luo Yao Guo Xiangqun Chen 55 10 0 19 Jul 2022
Penny Wise and Pound Foolish: Quantifying the Risk of Unlimited Approval of ERC20 Tokens on Ethereum Dabao Wang Hang Feng Siwei Wu Yajin Zhou Lei Wu Lizhen Qu 63 15 0 05 Jul 2022
A Survey of DeFi Security: Challenges and Opportunities Wenkai Li Jiuyang Bu Xiaoqi Li Hongli Peng Yuanzheng Niu Xianyi Chen 97 37 0 23 Jun 2022