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 | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2019-profile
View general profile
View general profile