v1v2 (latest)

A Semantic Framework for the Security Analysis of Ethereum smart contracts

23 February 2018

Papers citing "A Semantic Framework for the Security Analysis of Ethereum smart contracts"

50 / 59 papers shown

Title
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
A Survey on Blockchain-based Supply Chain Finance with Progress and Future directions Zhengdong Luo AI4CE 66 0 0 14 Aug 2024
SecPLF: Secure Protocols for Loanable Funds against Oracle Manipulation Attacks Sanidhay Arora Yingjiu Li Yebo Feng Jiahua Xu AAML 62 12 0 16 Jan 2024
Gradual Verification for Smart Contracts Haojia Sun Kunal Singh Jan-Paul Ramos-Dávila Jonathan Aldrich Jenna DiVincenzo 21 0 0 22 Nov 2023
Dissecting Smart Contract Languages: A Survey M. Soud G. Hjálmtýsson Mohammad Hamdaqa AILaw 16 1 0 04 Oct 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
Smart Learning to Find Dumb Contracts (Extended Version) Tamer Abdelaziz Aquinas Hobor 58 7 0 21 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
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
HoRStify: Sound Security Analysis of Smart Contracts Sebastian Holler Sebastian Biewer Clara Schneidewind 45 9 0 31 Jan 2023
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 73 13 0 15 Jan 2023
Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting Zhenguang Liu Peng Qian Jiaxu Yang Lingfeng Liu Xiaojun Xu Qinming He Xiaosong Zhang 65 63 0 10 Jan 2023
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
Formalising Decentralised Exchanges in Coq Eske Hoy Nielsen D. Annenkov Bas Spitters 8 11 0 11 Mar 2022
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel Philip Daian Mahimna Kelkar Ari Juels 132 65 0 09 Sep 2021
Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection Zhenguang Liu Peng Qian Xiaoyang Wang Yuan Zhuang Lin Qiu Xun Wang 88 218 0 24 Jul 2021
Productivity, Portability, Performance: Data-Centric Python Yiheng Wang Yao Zhang Yanzhang Wang Yan Wan Jiao Wang Zhongyuan Wu Yuhao Yang Bowen She 163 101 0 01 Jul 2021
Flash Crash for Cash: Cyber Threats in Decentralized Finance Kris Oosthoek SILM 81 13 0 20 Jun 2021
Smart Contract Vulnerability Detection: From Pure Neural Network to Interpretable Graph Feature and Expert Pattern Fusion Zhenguang Liu Peng Qian Xiang Wang Lei Zhu Qinming He S. Ji 89 109 0 17 Jun 2021
EtherClue: Digital investigation of attacks on Ethereum smart contracts Simon Joseph Aquilina Fran Casino Mark Vella J. Ellul Constantinos Patsakis 39 15 0 12 Apr 2021
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol Adrián Silveira Gustavo Betarte Maximiliano Cristiá C. Luna 17 10 0 02 Apr 2021
Compositional Security for Reentrant Applications Ethan Cecchetti Siqiu Yao Haobin Ni A. Myers LRM 60 35 0 15 Mar 2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts Shaokai Lin Xinyuan Sun Jianan Yao Ronghui Gu 50 4 0 03 Mar 2021
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Markus Scherer Matteo Maffei 97 11 0 14 Jan 2021
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts Nami Ashizawa Naoto Yanai Jason Paul Cruz Shingo Okamura 94 98 0 07 Jan 2021
A Survey on Vulnerabilities of Ethereum Smart Contracts Z. Khan A. Namin 38 7 0 28 Dec 2020
A formal model of Algorand smart contracts Massimo Bartoletti A. Bracciali Cristian Lepore A. Scalas R. Zunino 28 14 0 25 Sep 2020
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems Bin Hu Zongyang Zhang Jianwei Liu Yizhong Liu Jiayuan Yin R. Lu Xiaodong Lin AILaw 120 116 0 31 Aug 2020
Fair and autonomous sharing of federate learning models in mobile Internet of Things Xiaohan Hao Wei Ren Ruoting Xiong Xianghan Zheng Tianqing Zhu N. Xiong FedML 18 1 0 21 Jul 2020
STAN: Towards Describing Bytecodes of Smart Contract Xiaoqi Li Ting Chen Xiapu Luo Tao Zhang Le Yu Zhou Xu 48 19 0 19 Jul 2020
Bitcoin Trace-Net: Formal Contract Verification at Signing Time J. Chiang 53 1 0 15 Jul 2020
SmartBugs: A Framework to Analyze Solidity Smart Contracts J. Ferreira Pedro Cruz Thomas Durieux Rui Abreu 62 153 0 08 Jul 2020
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura 45 37 0 02 Jul 2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei 62 122 0 13 May 2020
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks C. F. Torres Mathis Baden Robert Norvill Beltran Borja Fiz Pontiveros H. Jonker S. Mauw 60 47 0 12 Mar 2020
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit Kaihua Qin Liyi Zhou B. Livshits Arthur Gervais 66 204 0 08 Mar 2020
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity P. Antonino A. W. Roscoe 57 14 0 07 Feb 2020
Smart Contract Repair Xiao Liang Yu Omar I. Al-Bataineh David Lo Abhik Roychoudhury 52 64 0 12 Dec 2019
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Alex Groce Josselin Feist Gustavo Grieco Michael Colburn 58 36 0 18 Nov 2019
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses I. Homoliak Sarad Venugopalan Qingze Hum Daniël Reijsbergen Richard Schumi Pawel Szalachowski 73 77 0 22 Oct 2019
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability Fuchen Ma Ying Fu Meng Ren Wanting Sun Zhe Liu Yu Jiang Jun Sun Jiaguang Sun 23 16 0 06 Oct 2019
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Sunbeom So Myungho Lee Jisu Park Heejo Lee Hakjoo Oh 71 112 0 29 Aug 2019
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph K. Liu R. Doss 52 141 0 22 Aug 2019
A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defenses Huashan Chen Marcus Pendleton Laurent L. Njilla Shouhuai Xu 95 451 0 13 Aug 2019
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol Gustavo Betarte Maximiliano Cristiá C. Luna Adrián Silveira D. Zanarini 31 13 0 03 Jul 2019
The Art of The Scam: Demystifying Honeypots in Ethereum Smart Contracts C. F. Torres M. Steichen Radu State 78 191 0 19 Feb 2019
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez B. Livshits 76 58 0 18 Feb 2019
Precise Attack Synthesis for Smart Contracts Yu Feng Emina Torlak Rastislav Bodík 60 43 0 16 Feb 2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum Anastasia Mavridou Aron Laszka Emmanouela Stachtiari A. Dubey 46 123 0 04 Jan 2019