Gustavo Grieco

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 16

Top Topics

Static Analysis

Symbolic Execution

Top Venues

Publications

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