ZEUS: Analyzing Safety of Smart Contracts

By Sukrit Kalra, Seep Goel, M. Dhawan, Subodh Sharma. Network and Distributed System Security Symposium, 2018

607 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/f3f927adf4aac1146c9587fa646864a040c94fa6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Thomas Durieux
2. Zhenguang Liu
3. Huashan Chen
4. Christof Ferreira Torres
5. W. Zou
6. Yuan Zhuang
7. Peng Qian
8. Michael Rodler

Citations in the corpus

• Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts (2019, methodology): “icxurug/SolMetSolidity-parser 32 teEther [23] https://github.com/nescio007/teether 33 Vandal [4] https://github.com/usyd-blockchain/vandal 34 VeriSol [24] https://github.com/microsoft/verisol 35 Zeus [22] N/A RQ3. [Performance] How long do the tools require to analyze the smart contracts? And finall”
• Securify: Practical Security Analysis of Smart Contracts (2018, methodology): “The Zeus system [40] is a sound analyser that translates smart contracts to the LLVM framework.”
• A Survey on Ethereum Systems Security (2019, background): “It has two variants, called gasless send and unchecked send [65, 121].”
• SoK: Decentralized Finance (DeFi) (2021, unknown): “The first issue, which has been extensively studied in the literature [145,77], is integer over- and underflow.”
• Vandal: A Scalable Security Analysis Framework for Smart Contracts (2018, methodology): “The zeus system [19] conducts policy checking for a set of policies including reentrancy, unchecked send, failed send, integer overflow, transaction state dependence/order and block state dependence. teEther has support for detecting vulnerabilities that allow an attacker to take control of funds,…”
• Combining Graph Neural Networks With Expert Knowledge for Smart Contract Vulnerability Detection (2021, methodology): “By investigating existing works such as [8], [17], [27], we design three sub-patterns.”
• Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (2018, methodology): “Unlike many previous works that have applied static and dynamic analyses to find bugs in contracts automatically [24, 25, 32, 38], our work focuses on detecting vulnerabilities across a sequence of invocations of a contract.”
• Smart Contract Development: Challenges and Opportunities (2021, methodology): “Besides formal verification, some researchers proposed to abstract smart contacts to a certain form before conducting relevant verification tasks [71], [50].”
• Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts (2018, methodology): “As a result, a large number of automated tools have been proposed for ensuring correctness and safety of smart contracts [18, 20, 23, 25, 26, 33].”
• Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks (2018, methodology): “Zeus [25] introduces a policy language to assert the correctness as well as the security requirements of a contract.”
• teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (2018, background): “[18], provides a framework to check smart contracts written in Solidity against a user-defined policy.”
• MadMax: surviving out-of-gas conditions in Ethereum smart contracts (2018, methodology): “The Zeus framework [Kalra et al. 2018] translates Solidity source code to LLVM [LLVM 2018] before performing the actual analysis in the SeaHorn verification framework [SeaHorn 2018].”