Current Projects

Our current interests are primarily in the computer security area:

  • Vigor (trustworthy software-based network devices)
  • Bolt (performance clarity for software-based network devices)
  • TinyNF (fast and verifiable network drivers)
  • CPI (fast and precise control-flow hijack protection)
  • Workflow-defined security (contact us for more details)
  • Techniques and tools for malware analysts and capture-the-flag competitions (contacts us for more details)

Past Projects

The following are past projects that are no longer in active research, but most are still in active development in the open-source community or in commercial settings.

  • S2E (scalable model-free analysis of program binaries)
  • ASAP (take control of the security/performance trade-off)
  • DDT (automated testing of proprietary drivers)
  • ConfErr (tool suite for human configuration-error injection)
  • Chef (converting language interpreters to symbolic executors)
  • Cloud9 (automated software testing as a service)
  • RaceMob (low overhead, accurate data race detection)
  • ESD (execution synthesis)
  • Portend (data race detector and classifier)
  • Gist (automated root cause diagnosis)
  • LFI (tool suite for library-level fault injection)
  • Dimmunix (deadlock immunity)
  • RevEng (reverse engineering)
  • PDF Accessibility (accessibility in online education)

Our work is sponsored by:

Google Research Google Focused Research Award,
Google Faculty Award,
Google PhD Fellowship
SNSF Swiss National
Science Foundation
CTI Swiss Commission for
Technology & Innovation
Microsoft Research Microsoft Research
Intel Intel PhD Fellowship
IBM IBM PhD Fellowship
VMware VMware Graduate
Research Fellowship

NOBUGS projects are sponsored by:

ERC European Research
Council Starting Grant
EU This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 278656