Patents by Inventor Vitaly Chipounov

Vitaly Chipounov has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • System and method for in-vivo multi-path analysis of binary software
    Patent number: 8776026
    Abstract: A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution engine and a modular plugin architecture. In addition, a device driver testing system is also disclosed wherein symbolic execution may be used to explore the device driver's execution paths and check for device driver behavior.
    Type: Grant
    Filed: October 1, 2011
    Date of Patent: July 8, 2014
    Assignee: Ecole Polytechnique Federale de Lausanne
    Inventors: George Candea, Vitaly Chipounov, Volodymyr Kuznetsov
  • SYSTEM AND METHOD FOR IN-VIVO MULTI-PATH ANALYSIS OF BINARY SOFTWARE
    Publication number: 20120084759
    Abstract: A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution engine and a modular plugin architecture. In addition, a device driver testing system is also disclosed wherein symbolic execution may be used to explore the device driver's execution paths and check for device driver behavior.
    Type: Application
    Filed: October 1, 2011
    Publication date: April 5, 2012
    Inventors: GEORGE CANDEA, Vitaly Chipounov, Volodymyr Kuznetsov