849 citations · 883 across the 11 of their papers we have counts for
3 papers · 1 filter
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
Alex Groce, Josselin Feist, Gustavo Grieco +1
An important problem in smart contract security is understanding the likelihood and criticality of discovered, or potential, weaknesses in contracts. In this paper we provide a sum…
Slither: A Static Analysis Framework For Smart Contracts
Josselin Feist, Gustavo Grieco, Alex Groce
This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into…
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark Mossberg, Felipe Manzano, Eric Hennenfent +5
An effective way to maximize code coverage in software tests is through dynamic symbolic executiona technique that uses constraint solving to systematically explore a program's…