Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. - Juan Caballero; Gustavo Grieco; Mark Marron; Antonio Nappa (ISSTA, 2012)

A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. - Gustavo Grieco; Laurent Mounier; Marie-Laure Potet; Sanjay Rawat 001 (ICST Workshops, 2013)

Optimizing Seed Selection for Fuzzing. - Alexandre Rebert; Sang Kil Cha; Thanassis Avgerinos; Jonathan Foote; David Warren; Gustavo Grieco; David Brumley (USENIX Security Symposium, 2014)

Toward Large-Scale Vulnerability Discovery using Machine Learning. - Gustavo Grieco; Guillermo Luis Grinblat; Lucas C. Uzal; Sanjay Rawat 001; Josselin Feist; Laurent Mounier (CODASPY, 2016)

QuickFuzz: an automatic random fuzzer for common file formats. - Gustavo Grieco; Martín Ceresa; Pablo Buiras (Haskell, 2016)

Exniffer: Learning to Prioritize Crashes by Assessing the Exploitability from Memory Dump. - Shubham Tripathi; Gustavo Grieco; Sanjay Rawat 001 (APSEC, 2017)

QuickFuzz testing for fun and profit. - Gustavo Grieco; Martín Ceresa; Agustín Mista; Pablo Buiras (J. Syst. Softw., 2017)

Toward Smarter Vulnerability Discovery Using Machine Learning. - Gustavo Grieco; Artem Dinaburg (AISec@CCS, 2018)

Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle. - Peter Goodman; Gustavo Grieco; Alex Groce (SecDev, 2018)

Detección de vulnerabilidades y análisis de fallos con técnicas de aprendizaje automatizado. - Gustavo Grieco (2018)

Slither: a static analysis framework for smart contracts. - Josselin Feist; Gustavo Grieco; Alex Groce (WETSEB@ICSE, 2019)

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. - Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg (ASE, 2019)

What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? - Alex Groce; Josselin Feist; Gustavo Grieco; Michael Colburn (Financial Cryptography, 2020)

Echidna: effective, usable, and fast fuzzing for smart contracts. - Gustavo Grieco; Will Song; Artur Cygan; Josselin Feist; Alex Groce (ISSTA, 2020)

echidna-parade: a tool for diverse multicore smart contract fuzzing. - Alex Groce; Gustavo Grieco (ISSTA, 2021)

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. - Jaeseung Choi 002; Doyeon Kim; Soomin Kim 002; Gustavo Grieco; Alex Groce; Sang Kil Cha (ASE, 2021)

Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. - Alex Groce; Iftekhar Ahmed 001; Josselin Feist; Gustavo Grieco; Jiri Gesi; Mehran Meidani; Qihong Chen (QRS, 2021)