Jian Liu

Google Scholar
3 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/uss
CARDSHARK: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the Odds.
2022
conf/uss
LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.
Filters
Years:  to