| 2021 | ISSTA | echidna-parade: a tool for diverse multicore smart contract fuzzing. | Alex Groce, Gustavo Grieco |
| 2021 | QRS | Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. | Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen |
| 2020 | FC | What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? | Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn |
| 2020 | ISSTA | Echidna: effective, usable, and fast fuzzing for smart contracts. | Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce |
| 2019 | ICSE | Slither: a static analysis framework for smart contracts. | Josselin Feist, Gustavo Grieco, Alex Groce |
| 2018 | CCS | Toward Smarter Vulnerability Discovery Using Machine Learning. | Gustavo Grieco, Artem Dinaburg |
| 2017 | APSEC | Exniffer: Learning to Prioritize Crashes by Assessing the Exploitability from Memory Dump. | Shubham Tripathi, Gustavo Grieco, Sanjay Rawat |
| 2016 | HASKELL | QuickFuzz: an automatic random fuzzer for common file formats. | Gustavo Grieco, Martn Ceresa, Pablo Buiras |
| 2013 | ICST | A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. | Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat |
| 2012 | ISSTA | Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. | Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa |