|
|
|
Vitaly Chipounov
|
|
|
office(s):
INN329
phone(s): [+41 21 69] 38188
|
|
|
MISSION
|
Design and implement tools for device driver analysis and recovery.
As of today device drivers are mainly developed for a small number of systems because of the high complexity of their design and implementation. Many of them are proprietary and come without technical documentation about the hardware. This prevents the use of these devices in new innovative operating system endeavours and forces the dependence on possibly unreliable drivers.
Vitaly's goal is to design and implement tools analyzing the interaction between the hardware and the software driver to automatically generate automatically new drivers with provable safety and reliability and thus remove the dependence on the original driver.
His background includes strong compentencies in FPGA design for embedded systems and system-level programming. He is involved in developping hardware components for teaching in the embedded systems course.
|
|
BIOGRAPHY
|
2008 - Present - Ph.D. Student Dependable Systems Laboratory, EPFL
July 2008 - M.S. Computer Science, EPFL (Dissertation title: State machine extraction and analysis for device drivers)
2006 - B.S. Computer Science, EPFL
2005 - 2006 - Universität Karlsruhe (TH)
2003 - Baccalauréat national, France, mention TB
|
|
MAIN PUBLICATIONS
|
Selective Symbolic Execution, Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, George Candea, 5th Workshop on Hot Topics in System Dependability (HotDep), Lisbon, Portugal, June 2009
Reverse-Engineering Drivers for Safety and Portability, Vitaly Chipounov and George Candea, In
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, December 2008
Using Automated Reverse Engineering
for the Safe Execution of Untrusted Device Drivers (extended abstract), Vitaly Chipounov, George Candea and Willy Zwaenepoel, In Proceedings of the 38th
Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 2008
|
|
Student