Artem Dinaburg

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 4

Top Topics

Past Observations

Symbolic Execution

Machine Learning Approaches

Graphical User Interface

Top Venues

IEEE Secur. Priv.

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)
Peter Goodman, Artem Dinaburg
The Past, Present, and Future of Cyberdyne. IEEE Secur. Priv. 16 (2) (2018)
Gustavo Grieco, Artem Dinaburg
Toward Smarter Vulnerability Discovery Using Machine Learning. AISec@CCS (2018)
Artem Dinaburg, Paul Royal, Monirul I. Sharif, Wenke Lee
Ether: malware analysis via hardware virtualization extensions. CCS (2008)