Memory Safety in Linux Device Drivers: Enhancing Security with Formal Verification. - Janislley O. Sousa; David A. O. Ferreira; Eddie B. de Lima Filho; Lucas C. Cordeiro (ICCE, 2026)