1. Automated verification of a small hypervisor;Alkassar,2010
2. Using read-copy-update techniques for system V IPC in the Linux 2.5 kernel;Arcangeli,2003
3. Leveraging Rust types for modular specification and verification;Astrauskas;Proc. ACM Program. Lang. OOPSLA,2019
4. How do programmers use unsafe Rust?;Astrauskas;Proc. ACM Program. Lang. OOPSLA,2020
5. IDEA: static analysis on the security of Apple kernel drivers;Bai,2020