Gustavo Grieco

20 papers A* 3A 3C 3Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2021 C conf
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis.
QRS
Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen
2021 A* conf
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.
ASE
Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha
2021 A conf
echidna-parade: a tool for diverse multicore smart contract fuzzing.
ISSTA
Alex Groce, Gustavo Grieco
2020 A conf
Echidna: effective, usable, and fast fuzzing for smart contracts.
ISSTA
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce
2020 — conf
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?
Financial Cryptography
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
2019 A* conf
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
ASE
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 J jnl
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
CoRR
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 J jnl
Slither: A Static Analysis Framework For Smart Contracts.
CoRR
Josselin Feist, Gustavo Grieco, Alex Groce
2019 — conf
Slither: a static analysis framework for smart contracts.
WETSEB@ICSE
Josselin Feist, Gustavo Grieco, Alex Groce
2019 J jnl
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
CoRR
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
2018 — —
Detección de vulnerabilidades y análisis de fallos con técnicas de aprendizaje automatizado.
Gustavo Grieco
2018 — conf
Toward Smarter Vulnerability Discovery Using Machine Learning.
AISec@CCS
Gustavo Grieco, Artem Dinaburg
2018 — conf
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle.
SecDev
Peter Goodman, Gustavo Grieco, Alex Groce
2017 C conf
Exniffer: Learning to Prioritize Crashes by Assessing the Exploitability from Memory Dump.
APSEC
Shubham Tripathi, Gustavo Grieco, Sanjay Rawat
2017 J jnl
QuickFuzz testing for fun and profit.
J. Syst. Softw.
Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras
2016 C conf
QuickFuzz: an automatic random fuzzer for common file formats.
Haskell
Gustavo Grieco, Martín Ceresa, Pablo Buiras
2016 — conf
Toward Large-Scale Vulnerability Discovery using Machine Learning.
CODASPY
Gustavo Grieco, Guillermo Luis Grinblat, Lucas C. Uzal, Sanjay Rawat, Josselin Feist, Laurent Mounier
2014 A* conf
Optimizing Seed Selection for Fuzzing.
USENIX Security Symposium
Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, David Brumley
2013 — conf
A Stack Model for Symbolic Buffer Overflow Exploitability Analysis.
ICST Workshops
Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat
2012 A conf
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities.
ISSTA
Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa