Login / Signup
Trent Brunson
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Symbolic Execution
Cognitive Architecture
Graphical User Interface
Online Databases
Top Venues
CoRR
SP Workshops
ASE
</>
Publications
</>
Sam Cowger
,
Yerim Lee
,
Nichole Schimanski
,
Mark Tullsen
,
Walter Woods
,
Richard Jones
,
E. W. Davis
,
William Harris
,
Trent Brunson
,
Carson Harmon
,
Bradford Larsen
,
Evan Sultanik
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax.
SP Workshops
(2020)
Mark Mossberg
,
Felipe Manzano
,
Eric Hennenfent
,
Alex Groce
,
Gustavo Grieco
,
Josselin Feist
,
Trent Brunson
,
Artem Dinaburg
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
ASE
(2019)
Mark Mossberg
,
Felipe Manzano
,
Eric Hennenfent
,
Alex Groce
,
Gustavo Grieco
,
Josselin Feist
,
Trent Brunson
,
Artem Dinaburg
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
CoRR
(2019)