Home | Notifications | New Note | Local | Federated | Search | Logout

Note Detail

💙🩷💜 Brett [he/him/any]@brettm@swarm.coiloptic.org (2026-10-05 19:59:54)
OpenBSD formal driver verification with SeL4

https://arxiv.org/pdf/2311.03585v1