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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution