Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts[C]
34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019)
机构作者
Brunson, Trent
文献数量：1
Dinaburg, Artem
文献数量：1
Feist, Josselin
文献数量：1
Grieco, Gustavo
文献数量：1
Groce, Alex
文献数量：1
Hennenfent, Eric
文献数量：1
Manzano, Felipe
文献数量：1
Mossberg, Mark
文献数量：1