PhD Student
Network and Distributed System Security Symposium (NDSS)
TwinFuzz: Differential Testing of Video Hardware Acceleration Stacks
IEEE Symposium on Security and Privacy Workshops (SPW)
IEEE Symposium on Security and Privacy Workshops (SPW)
International Fuzzing Workshop (FUZZING)
CrabSandwich: Fuzzing Rust with Rust (Registered Report)
IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT)
AFLrustrust: A LibAFL-based AFL++ prototype
IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT)
LIBAFL LIBFUZZER: LIBFUZZER on Top of LIBAFL
Usenix Security Symposium (USENIX-Security)
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
Correctness
OpenRace: An Open Source Framework for Statically Detecting Data Races