Login / Signup
Felipe Manzano
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 2
Top Topics
Command Line
Symbolic Execution
Software Package
Graphical User Interface
Top Venues
CoRR
ASE
</>
Publications
</>
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)