Gustavo Grieco

According to our database, Gustavo Grieco authored at least 16 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis.

Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.

Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

echidna-parade: a tool for diverse multicore smart contract fuzzing.

Alex Groce, Gustavo Grieco

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Echidna: effective, usable, and fast fuzzing for smart contracts.

Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?

Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn

Proceedings of the Financial Cryptography and Data Security, 2020

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

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Slither: a static analysis framework for smart contracts.

Josselin Feist, Gustavo Grieco, Alex Groce

Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

2018

Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle.

Peter Goodman, Gustavo Grieco, Alex Groce

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Toward Smarter Vulnerability Discovery Using Machine Learning.

Gustavo Grieco, Artem Dinaburg

Proceedings of the 11th ACM Workshop on Artificial Intelligence and Security, 2018

2017

QuickFuzz testing for fun and profit.

Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras

J. Syst. Softw., 2017

Exniffer: Learning to Prioritize Crashes by Assessing the Exploitability from Memory Dump.

Shubham Tripathi, Gustavo Grieco, Sanjay Rawat

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

QuickFuzz: an automatic random fuzzer for common file formats.

Gustavo Grieco, Martín Ceresa, Pablo Buiras

Proceedings of the 9th International Symposium on Haskell, 2016

Toward Large-Scale Vulnerability Discovery using Machine Learning.

Gustavo Grieco, Guillermo Luis Grinblat, Lucas C. Uzal, Sanjay Rawat, Josselin Feist, Laurent Mounier

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2014

Optimizing Seed Selection for Fuzzing.

Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, David Brumley

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

2013

A Stack Model for Symbolic Buffer Overflow Exploitability Analysis.

Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities.

Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa

Proceedings of the International Symposium on Software Testing and Analysis, 2012