Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Artem Dinaburg
conf.researchr.org general profile
ASE 2019 profile
Not registered as user
Name:
Artem Dinaburg
Affiliation:
Trail of Bits
Contributions
2019
ASE
Author of Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts within the Demonstrations-track
Share
x
Sat 1 Nov 18:52