Volodymyr Kuznetsov

According to our database, Volodymyr Kuznetsov authored at least 9 papers between 2010 and 2018.

Collaborative distances:

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

2018

Code-pointer integrity.

Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song

Proceedings of the Continuing Arms Race: Code-Reuse Attacks and Defenses, 2018

2016

Improving systems software security through program analysis and instrumentation.

Volodymyr Kuznetsov

PhD thesis, 2016

2015

High System-Code Security with Low Overhead.

Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2014

Efficient State Merging in Symbolic Execution.

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Code-Pointer Integrity.

Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

2013

-OVERIFY: Optimizing Programs for Fast Verification.

Jonas Wagner, Volodymyr Kuznetsov, George Candea

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2012

The S2E Platform: Design, Implementation, and Applications.

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

ACM Trans. Comput. Syst., 2012

2011

S2E: a platform for in-vivo multi-path analysis of software systems.

Vitaly Chipounov, Volodymyr Kuznetsov, George Candea

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Testing Closed-Source Binary Device Drivers with DDT.

Volodymyr Kuznetsov, Vitaly Chipounov, George Candea

Proceedings of the 2010 USENIX Annual Technical Conference, 2010