Biblio

Export 1 results:
Filters: Author is Lin Yi  [Clear All Filters]
2022
Liu J, Yi L, Chen W, Song C, Qian Z, Yi Q.  2022.  LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution. 31st USENIX Security Symposium (USENIX Security 22). :125--142.