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"

3 / 3 papers shown

Title
Automated Attack Synthesis for Constant Product Market Makers Sujin Han Jinseo Kim Sung-Ju Lee Insu Yun 67 0 0 08 Apr 2024
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale I. Nikolic Aashish Kolluri Ilya Sergey P. Saxena Aquinas Hobor 33 591 0 16 Feb 2018
An empirical analysis of smart contracts: platforms, applications, and design patterns Massimo Bartoletti Livio Pompianu 28 234 0 18 Mar 2017