Dependable Systems Lab

Dr. Volodymyr Kuznetsov

I work on building the world’s simplest solution for complete cyber security at Cyberhaven. For more details, please refer to my Curriculum Vitae.

Publications

Improving Systems Software Security Through Program Analysis and Instrumentation. Volodymyr Kuznetsov. EPFL PhD Thesis, May 2016

High System-Code Security with Low Overhead. Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder. IEEE Symposium on Security and Privacy (S&P), San Jose, CA, May 2015

Poster: Getting The Point(er): On the Feasibility of Attacks on Code-Pointer Integrity. Volodymyr Kuznetsov, László Szekeres, Mathias Payer, George Candea, Dawn Song. IEEE Symposium on Security and Privacy (S&P), San Jose, CA, May 2015

Code-Pointer Integrity. Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song. USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, CO, October 2014

-OVERIFY: Optimizing Programs for Fast Verification. Jonas Wagner, Volodymyr Kuznetsov, and George Candea. Workshop on Hot Topics in Operating Systems (HotOS), Santa Ana Pueblo, NM, May 2013

Efficient State Merging in Symbolic Execution. Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, and George Candea. Conference on Programming Language Design and Implementation (PLDI), Beijing, China, June 2012

The S2E Platform: Design, Implementation, and Applications. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. ACM Transactions on Computer Systems (TOCS), 30(1), Special issue: Best papers of ASPLOS, February 2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. Vitaly Chipounov, Volodymyr Kuznetsov, George Candea. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Newport Beach, CA, March 2011 (Best Paper Award)

Testing Closed-Source Binary Device Drivers with DDT. Volodymyr Kuznetsov, Vitaly Chipounov, George Candea. USENIX Annual Technical Conference (USENIX), Boston, MA, June 2010

Selected Projects

Code-Pointer Integrity: fast and precise control-flow hijack protection

S2E: scalable model-free analysis of program binaries

ASAP: take control of the security/performance trade-off