Catalin Cot, Radu Portase, Adrian Colesa: Rust in the Kernel: A Practical Evaluation on Windows. SecITC 2025: 307-320