Systems Software & Security Lab

We build practical systems with focuses on security, performance, robustness, or often just for fun. Our research projects have been published in top academic conferences, and have made great impacts on real programs, such as Firefox, Android, and the Linux kernel, that you might be using every day. If you are interested in hacking with us, please fill the form (link).

News (all/19/18/17/16/15/14)

  • [08/14/2019] Apollo is accepted to VLDB '20!
  • [07/30/2019] Multi-Layer Type Analysis is accepted to CCS '19!
  • [07/22/2019] Hydra, Recipe, Shfllock, and Splitfs (4 papers) are accepted to SOSP '19!
  • [07/11/2019] Google Tech Talk by Wen on file system fuzzing!
  • [06/25/2019] Exploitation chain of VMware ESXi is accepted to WOOT '19
  • [05/24/2019] Razor is accepted to Security'19!
  • [05/24/2019] $15k Bug Bounty from Microsoft (ChakraCore/CVE-2019-0609)
  • [04/18/2019] libmpk is accepted to ATC'19
  • [02/28/2019] Google Research Award
  • [02/18/2019] Fuzzification is accepted to Security'19!
  • [11/25/2018] Janus is accepted to S&P'19!
  • [08/15/2018] QSYM got a Distinguished Paper Award at USENIX Security'18!
  • [08/12/2018] DEFKOR00T won DEF CON CTF 2018!!
  • [07/24/2018] uCFI is accepted to CCS 2018!
  • [05/02/2018] QSYM and RTAG are accepted to USENIX Security!
  • [04/18/2018] eCS is accepted to ATC'18
  • [03/10/2018] Kaleidoscope accepted at the EuroSys Doctoral Workshop
  • [02/07/2018] Steffen got the best poster award at the KAUST OBD Workshop!
  • [01/22/2018] Solros and Ordo are accepted to EuroSys'18!
  • [11/27/2017] Deadline is accepted to S&P'18!