Erays: Reverse Engineering Ethereum's Opaque Smart Contracts

By Yi Zhou, Deepak Kumar, Surya Bakshi, Joshua Mason, Andrew K. Miller, Michael Bailey. 2018

108 citations recorded by the source corpus.

How researchers see this paper

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

1. W. Zou
2. Xiaoqi Li
3. Huashan Chen
4. Ting Chen
5. David Lo
6. Marcus Pendleton
7. Xiapu Luo
8. Baowen Xu

Citations in the corpus

• Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts (2018, neutral): “, the CryptoKitties gene mixing algorithm has been reverseengineered [80], which allows strategic players to optimize their chance of breeding cats with rare traits, thus undermining the game’s ecosystem.”
• Understanding Ethereum via Graph Analysis (2020, background): “A smart contract with functionalities should contain a jump-table-like structure that directs contract invocations to the called functions [49].”
• An Overview on Smart Contracts: Challenges, Advances and Platforms (2019, unknown): “Creation • Recover source code [33]”
• Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks (2018, methodology): “…challenging for Sereum , but for other existing analysis tools such as Oyente [34], Mythril [31], Securify [42], or any reverse-engineering tools operating at EVM bytecode level [3], [45], we believe that a detailed investigation of these cases is highly valuable for future research in this area.”
• Smart Contract Development: Challenges and Opportunities (2021, methodology): “developed Erays to generate highlevel pseudocode from binary code of smart contracts [158].”
• A Survey on Ethereum Systems Security (2019, methodology): “Erays [138] (21) lifts EVM bytecode to a high-level pseudocode by recovering the control-flow structure and transforming EVM from a stack-based machine to a register-based machine.”
• Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts (2019, unknown): “4 Erays [44] https://github.”