Concepedia
Statistics
Publications
1
Citations
22
H-Index
Active since
2019
Trent Brunson is an author specializing in state space exploration, dynamic symbolic execution, and control-flow analysis.
Publications per year
2019–2019
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mark Mossberg, Felipe Andrés Manzano, Eric Hennenfent et al. · 2019 · 22 citations · Full text
Computing, Computer Engineering, Computer Science +17
1–1 of 1