Skip to content
You must be logged in to sponsor vitalych

Become a sponsor to Vitaly Chipounov

@vitalych

Vitaly Chipounov

vitalych

I did my PhD at EPFL in Switzerland, at the Dependable Systems Laboratory, led by Prof. George Candea. There, I built S²E, a platform for multi-path in-vivo analysis of complex software systems. S²E empowers developers to build practical analysis tools such as security vulnerability scanners, comprehensive performance profilers, and tools for reverse engineering and debugging software, with or without source code. I received the best paper award at the ASPLOS 2011 conference for this work.

Then I went on to co-found, Cyberhaven, where I turned the S²E research prototype into commercial software. S²E was showcased at the DARPA CyberGrandChallenge finals as part of the CodeJitsu team, where it was one of the fastest at finding software vulnerabilities. S²E is now publicly available under the MIT license and has an active community of several hundred users, including companies and research institutions. It appears every year in various papers at top conferences.

I am now maintaining S2E on my free time and welcome donations. These help me reply to your questions on the mailing list, keep track of issues and fix them, review pull requests, write documentation, and implement new features.

https://s2e.systems/
https://github.com/s2e

@vitalych

Help cover computing costs associated with running / testing S2E

Current sponsors 1

@aesophor
Past sponsors 1
Private Sponsor

Featured work

  1. S2E/docs

    Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

    Python 76
  2. S2E/s2e-env

    Your S2E project management tools. Visit https://s2e.systems/docs to get started.

    Python 92
  3. S2E/s2e

    S2E: A platform for multi-path program analysis with selective symbolic execution.

    C++ 447
  4. S2E/qemu

    QEMU VM with generic KVM extensions for symbolic execution

Learn more about sponsoring developers and organizations.

Report abuse

5% towards $200 per month goal

@aesophor

aesophor sponsors this goal

Select a tier

$ a month

Choose a custom amount.

$10 a month

Select

As a thank you if you find S2E useful.

$50 a month

Select

To help ensure that S2E builds and runs smoothly and that questions on the mailing list are answered quickly.

$150 a month

Select

To see major features implemented quicker and have access to them before anyone else.