Registered user since Sun 29 Sep 2019
Name: Alex Groce
Bio: This is just https://conf.researchr.org/profile/conf/alexgroce under a different affiliation. Nothing to see (here).
Affiliation: Trail of Bits
|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|
Using general profile