共 50 条
- [42] Efficient Formal Verification for the Linux Kernel SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2019), 2019, 11724 : 315 - 332
- [43] Network Interface Grouping in the Linux Kernel PROCEEDINGS OF ICNS 2011: THE SEVENTH INTERNATIONAL CONFERENCE ON NETWORKING AND SERVICES, 2011, : 131 - 135
- [45] Message filters for hardening the Linux kernel SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (01): : 51 - 62
- [47] Comprehensive Integrity Protection for Desktop Linux PROCEEDINGS OF THE 19TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES (SACMAT'14), 2014, : 89 - 92
- [48] Trusted path execution for the Linux 2.6 kernel as a Linux Security Module USENIX ASSOCIATION PROCEEDINGS OF THE FREENIX TRACK 2004 USENIX ANNUAL TECHNICAL CONFERENCE, 2004, : 73 - 80
- [49] SYZDIRECT: Directed Greybox Fuzzing for Linux Kernel PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1630 - 1644
- [50] Application of Philosophical Principles in Linux Kernel Customization 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), 2019, : 365 - 365