Software Security

Title Speakers Conference Tags
Detecting Logical Bugs of DBMS with Coverage-based Guidance Yu Liang USENIX Security-2022 - Boston, MA Software Security
Augmenting Decompiler Output with Learned Variable Names and Types Qibin Lacomis USENIX Security-2022 - Boston, MA Software Security
Debloating Address Sanitizer Yuchen Zhang USENIX Security-2022 - Boston, MA Software Security
Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths Shunfan Zhou , Zhemin Qiao USENIX Security-2022 - Boston, MA Software Security