2 citations · 2 across the 1 of their papers we have counts for
3 papers
cs.SE2019★ 2 cited
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…
cs.SE2019
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…
cs.SE2019
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…