FuTURES³ Lab - Software Security Research

We are a team of researchers who build practical systems with the aim of improving real-world software security and robustness.

We routinely find software bugs and publish our work in security and software engineering venues like ACM CCS and ICSE.

Our group currently focuses on the following research areas: software testing, program analysis, and automated bug repair.