conf.researchr.org / Felipe Manzano
Not registered as user yet
Name:Felipe Manzano
Affiliation:Trail of Bits
Contributions
| ASE 2019 | Author of Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts within the Demonstrations-track |