français | english		EPFL > people@EPFL > Vitaly Chipounov login

Doctoral Assistant Dependable Systems Laboratory

Vitaly Chipounov office(s): INN331 phone(s): [+41 21 69] 38186 MISSION Building tools for analysis and reverse engineering of complex software systems Vitaly Chipounov is building S2E, a framework for multi-path in-vivo analysis of complex software systems, at the Dependable Systems Laboratory, lead by Prof. George Candea. S2E empowers developers to build practical tools to enable applications like comprehensive performance profiling, reverse engineering of proprietary software, and bug finding for both kernel-mode and user-mode binaries. S2E is publicly available and actively used at several research institutions. With this framework, he developed a tool – RevNIC – that reverse-engineers proprietary closed-source device drivers to synthesize new, safer, and portable device drivers for different operating systems and architectures. RevNIC takes a binary network device driver, explores it automatically across multiple paths to witness all the ways in which the driver communicates with the hardware, and synthesizes an equivalent driver that captures this interaction. For more details, see Curriculum Vitae [PDF] NEWS ARTICLES The Achilles' Heel of Your Computer, in MIT Technology Review, June 30, 2010 Software spürt schlechte Gerätetreiber auf, in Pressetext, July 1, 2010 MAIN PUBLICATIONS V. Chipounov and G. Candea. Enabling Sophisticated Analysis of x86 Binaries with RevGen. In 7th Workshop on Hot Topics in System Dependability (HotDep), 2011. [ Details | Full Text ] V. Chipounov, V. Kuznetsov, and G. Candea. S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011. BEST PAPER AWARD. [ DOI | Details | Full Text ] V. Chipounov and G. Candea. Dynamically Translating x86 to LLVM using QEMU. Technical report, 2010. [ Details | Full Text ] V. Kuznetsov, V. Chipounov, and G. Candea. Testing Closed-Source Binary Device Drivers with DDT. In USENIX Annual Technical Conference, 2010. [ Details | Full Text ] V. Chipounov and G. Candea. Reverse Engineering of Binary Device Drivers with RevNIC. In Proceedings of the 5th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys), Paris France, April 2010, Paris, France, 2010. [ Details | Full Text | Link ] V. Chipounov, V. Georgescu, C. Zamfir, and G. Candea. Selective Symbolic Execution. In Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009. [ Details | Full Text | Link ] V. Chipounov and G. Candea. Reverse-Engineering Drivers for Safety and Portability. In Proceedings of the 4th Workshop on Hot Topics in System Dependability (HotDep), 2008. [ Details | Full Text | Link ] HOBBIES When he is not hacking embedded routers or playing with mesh networks, Vitaly greatly enjoys dancing salsa.