Kernel fuzz testing
Improving the effectiveness and performance of fuzz testing for operating system kernels through better feedback, execution mechanisms, and state exploration.
Kernel fuzzingCoverage feedbackBug finding
Research
Research directions
A high-level overview of the group's research themes and directions.
Embedded and mobile system security
Testing embedded operating systems, Android firmware drivers, and hardware-related system components across diverse platforms and architectures.
Embedded systemsAndroid driversFreeRTOSOpenHarmony
File system and system consistency testing
Discovering crash-consistency and correctness bugs by systematically exploring persistent file-system states and system behavior.
File systemsCrash consistencyState exploration
Software analysis and security assurance
Building practical testing and analysis techniques for system software, cloud-native infrastructure, and safety-critical software stacks.
Software testingProgram analysisSecurity assurance