vix.ing · top · new · best · stats · spec

Felipe Manzano

  1. Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
    2019/07/08 by Mark Mossberg, Felipe Manzano, Mossberg, Mark +13 · 1 voice · 19 citations
    #cs.SE #cs.CR