v1v2v3 (latest)

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

8 July 2019

Papers citing "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts"

25 / 75 papers shown

Title
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 66 42 0 06 Apr 2023
The Blockchain Imitation Game Kaihua Qin Stefanos Chaliasos Liyi Zhou B. Livshits Basel Alomair Arthur Gervais AAML 72 32 0 31 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
Pre-deployment Analysis of Smart Contracts -- A Survey Sundas Munir Walid M. Taha 89 13 0 15 Jan 2023
Vulnerability Analysis of Smart Contracts S. Vani M. Doshi A. Nanavati A. Kundu 42 7 0 14 Dec 2022
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
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities Hoang H. Nguyen Nhat-Minh Nguyen Chunyao Xie Zahra Ahmadi Daniel Kudendo Thanh-Nam Doan Lingxiao Jiang 65 21 0 28 Aug 2022
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts Lu-Chi Liu Lili Wei Wuqi Zhang Ming Wen Yepang Liu Shing-Chi Cheung 42 18 0 24 Aug 2021
Productivity, Portability, Performance: Data-Centric Python Yiheng Wang Yao Zhang Yanzhang Wang Yan Wan Jiao Wang Zhongyuan Wu Yuhao Yang Bowen She 167 101 0 01 Jul 2021
HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contracts for Vulnerability Detection Mengjie Ding Peiru Li Shanshan Li He Zhang 102 34 0 21 Jun 2021
Guardian: symbolic validation of orderliness in SGX enclaves P. Antonino Wojciech Aleksander Wołoszyn A. W. Roscoe 21 6 0 12 May 2021
EtherClue: Digital investigation of attacks on Ethereum smart contracts Simon Joseph Aquilina Fran Casino Mark Vella J. Ellul Constantinos Patsakis 49 15 0 12 Apr 2021
ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning O. Lutz Huili Chen Hossein Fereidooni Christoph Sendner Alexandra Dmitrienko A. Sadeghi F. Koushanfar 68 47 0 23 Mar 2021
Eth2Vec: Learning Contract-Wide Code Representations for Vulnerability Detection on Ethereum Smart Contracts Nami Ashizawa Naoto Yanai Jason Paul Cruz Shingo Okamura 96 98 0 07 Jan 2021
sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically T. D. Nguyen Long H. Pham Jun Sun 77 58 0 06 Jan 2021
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts Michael Rodler Wenting Li Ghassan O. Karame Lucas Davi 75 88 0 01 Oct 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 124 116 0 31 Aug 2020
Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura 53 37 0 02 Jul 2020
DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts Ru Ji Ningyu He Lei Wu Haoyu Wang Guangdong Bai Yao Guo 52 16 0 11 Jun 2020
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? Alex Groce Josselin Feist Gustavo Grieco Michael Colburn 72 36 0 18 Nov 2019
Targeted Greybox Fuzzing with Static Lookahead Analysis Valentin Wüstholz M. Christakis 51 63 0 17 May 2019
Smart Contract Development from the Perspective of Developers: Topics and Issues Discussed on Social Media Afiya Ayman Shanto Roy Amin Alipour Aron Laszka 57 7 0 15 May 2019
Harvey: A Greybox Fuzzer for Smart Contracts Valentin Wüstholz M. Christakis 103 190 0 15 May 2019