Adriana Nicolae, Paul Irofti, Ioana Leustean. OpenBSD Formal Driver Verification with SeL4. In Mark Manulis, Diana Maimut, George Teseleanu, editors, Innovative Security Solutions for Information Technology and Communications - 16th International Conference, SecITC 2023, Bucharest, Romania, November 23-24, 2023, Revised Selected Papers. Volume 14534 of Lecture Notes in Computer Science, pages 144-156, Springer, 2023. [doi]
Abstract is missing.