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
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