LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution

Hits:

Journal:In Proceeding of the 31st USENIX Security Symposium(USENIX Security)

Indexed by:Essay collection

Discipline:Engineering

First-Level Discipline:Computer science and technology *

Translation or Not:no

Date of Publication:2022-03-07