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)
  • CPI (fast and precise control-flow hijack protection)
  • Context-defined security (contact us for more details)
  • Techniques and tools for malware analysts and capture-the-flag competitions (contacts us for more details)

Future Project Ideas

Please see this page for potential PhD/MS/BS projects in DSLAB

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