Artem Dinaburg

According to our database, Artem Dinaburg authored at least 4 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.

Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

The Past, Present, and Future of Cyberdyne.

Peter Goodman, Artem Dinaburg

IEEE Secur. Priv., 2018

Toward Smarter Vulnerability Discovery Using Machine Learning.

Gustavo Grieco, Artem Dinaburg

Proceedings of the 11th ACM Workshop on Artificial Intelligence and Security, 2018

2008

Ether: malware analysis via hardware virtualization extensions.

Artem Dinaburg, Paul Royal, Monirul Islam Sharif, Wenke Lee

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008