Felipe Manzano

According to our database, Felipe Manzano authored at least 1 paper in 2019.

Collaborative distances:

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

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