Search Results - Brunson, Trent

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

    Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts by Mossberg, Mark, Manzano, Felipe, Hennenfent, Eric, Groce, Alex, Grieco, Gustavo, Feist, Josselin, Brunson, Trent, Dinaburg, Artem

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Crema

    Crema by Reilly, Karen, Torrey, Jacob, Frank, Jared, Brunson, Trent

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: