News
🎉 Our recent work on kernel auditing is accepted at S&P'26!
🎉 Our junior students' work on strategy analysis of tennis games wins the Distinguished Paper Award at ISACE'25!
🎉 Our recent work on LLM-based log parsing is accepted at ASE'25!
🎉 Our recent work on software-supply-chain vulnerability assessment is accepted at ASE'25!
🎉 Our recent work on evaluating disassemblers with only binaries is accepted at AsiaCCS'25!
🎉 Our recent work on sandboxing client data in CVMs is accepted at EuroSys'25!
🎉 Our recent work on provenance graph construction is accepted at WOSOC'25!
🎉 Our recent work on PHP fuzzing is accepted at Security'25 and wins the Distinguished Paper Award!
🎉 Our recent work on Android UI behavior analysis is accepted at NDSS'25!
🎉 Our recent work on high-assurance system observability protection is accepted at CCS'24!
🎉 Our recent work on mobile malware detection is accepted at ASE'24!
🎉 Our recent work on cryptographic misuse detection is accepted at RAID'24!
🎉 Our recent work on kernel vulnerability reproduction is accepted at RAID'24 and wins the Best Practical Paper Award!
🎉 Our VulZoo vulnerability intelligence dataset is released!
🎉 Our recent work on Android UI similarity is accepted at USENIX Security'24!
🎉 Our group website is ready!
🎉 Our recent work on evaluating disassemblers via dynamic tracing is accepted at NDSS BAR'24!
🎉 Our recent work on detecting logic bugs in graph database engines is accepted at ICSE'24!