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).

We are hiring prominent researchers, hackers and staff programmers to team up with us to compete at AIxCC!

News (all/23/22/21/20/19/18/17/16/15/14)

  • [12/15/2023] Sui Research Award ($20k)!
  • [10/19/2023] Sense is accepted to NDSS'24!
  • [07/17/2023] QSYM got a Best Paper Award in Theoretical Computer and Information Sciences!
  • [06/04/2023] AEX-Notify is accepted to USENIX Security'23
  • [03/30/2023] DeepSemantic is accepted to IEEE Access
  • [02/22/2023] MPKfacts is accepted to S&P'23 Magazine
  • [02/22/2023] ACon² is accepted to USENIX Security'23
  • [02/21/2023] autofz is accepted to USENIX Security'23
  • [09/02/2022] POPKORN is accepted to ACSAC'22
  • [06/14/2022] RoboFuzz is accepted to ESEC/FSE'22!
  • [06/11/2022] Fuzzing@Home is accepted to RAID'22!
  • [05/30/2022] "perfect r00t" proceeds to the DEF CON CTF final!
  • [04/30/2022] Pridwen and Modulo are accepted to ATC'22!
  • [03/19/2022] SynCord is accepted to OSDI'22!
  • [02/08/2022] DeFi Bug Bounty ($100K), from APWine!
  • [01/22/2022] PAL (ARM PAC for Linux) is accepted to USENIX Security'22!
  • [11/25/2021] DeFi Bug Bounty ($90K), from Enzyme Finance!
  • [10/26/2021] Rudra got a Distinguished Artifact Award at SOSP'21!
  • [08/08/2021] Rudra is accepted to SOSP'21!
  • [07/21/2021] HardsHeap is accepted to CCS'21!