Testing Closed-Source Binary Device Drivers with DDT. - Volodymyr Kuznetsov; Vitaly Chipounov; George Candea (USENIX ATC, 2010)

S2E: a platform for in-vivo multi-path analysis of software systems. - Vitaly Chipounov; Volodymyr Kuznetsov; George Candea (ASPLOS, 2011)

Efficient state merging in symbolic execution. - Volodymyr Kuznetsov; Johannes Kinder; Stefan Bucur; George Candea (PLDI, 2012)

The S2E Platform: Design, Implementation, and Applications. - Vitaly Chipounov; Volodymyr Kuznetsov; George Candea (ACM Trans. Comput. Syst., 2012)

-OVERIFY: Optimizing Programs for Fast Verification. - Jonas Wagner; Volodymyr Kuznetsov; George Candea (HotOS, 2013)

Code-Pointer Integrity. - Volodymyr Kuznetsov; Laszlo Szekeres; Mathias Payer; George Candea; R. Sekar 001; Dawn Song (OSDI, 2014)

High System-Code Security with Low Overhead. - Jonas Wagner; Volodymyr Kuznetsov; George Candea; Johannes Kinder (IEEE Symposium on Security and Privacy, 2015)

Improving systems software security through program analysis and instrumentation. - Volodymyr Kuznetsov (2016)

Code-pointer integrity. - Volodymyr Kuznetsov; Laszlo Szekeres; Mathias Payer; George Candea; R. Sekar 001; Dawn Song (The Continuing Arms Race, 2018)