Memory Safety in Linux Device Drivers: Enhancing Security with Formal Verification
| Title: | Memory Safety in Linux Device Drivers: Enhancing Security with Formal Verification |
|---|---|
| Authors: | Sousa, Janislley O.; Ferreira, David A. O.; Filho, Eddie B. De Lima; Cordeiro, Lucas C. |
| Source: | 2026 IEEE International Conference on Consumer Electronics (ICCE) Consumer Electronics (ICCE), 2026 IEEE International Conference on. :1-6 Feb, 2026 |
| Relation: | 2026 IEEE International Conference on Consumer Electronics (ICCE) |
| Database: | IEEE Xplore Digital Library |