News
🎉 Our recent work on provenance graph construction is accepted in WOSOC'25!
🎉 Our recent work on PHP fuzzing is accepted in Security'25!
🎉 Our recent work on Android UI behavior analysis is accepted in NDSS'25!
🎉 Our recent work on high-assurance system observability protection is accepted in CCS'24!
🎉 Our recent work on mobile malware detection is accepted in ASE'24!
🎉 Our recent work on cryptographic misuse detection is accepted in RAID'24!
🎉 Our recent work on kernel vulnerability reproduction is accepted in 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 in USENIX Security'24!
🎉 Our group website is ready!
🎉 Our recent work on evaluating disassemblers via dynamic tracing is accepted in NDSS BAR'24!
🎉 Our recent work on detecting logic bugs in graph database engines is accepted in ICSE'24!