Did you mean?
Search Results - Showing 0 - 12 Of 38
_trustworthy-measurements-of-a-linux-kernel-and-layered-attestation-via-the-sel4-michael-neises.webp "The seL4 Microkernel")
⏲ 17 minutes 28 seconds 👁 63
_sel4-on-risc-v-building-a-trusted-execution-environment-everton-de-matos.webp "The seL4 Microkernel")
⏲ 16 minutes 1 second 👁 61
_building-a-commercial-virtualized-mobile-device-with-sel4-part-2-jason-sebranek-cog-systems-inc.webp "The seL4 Microkernel")
Building a Commercial Virtualized Mobile Device with seL4 – Part 2 - Jason Sebranek, Cog Systems Inc
⏲ 16 minutes 26 seconds 👁 21
_sig-update-community-update-and-kent-mcleod-yanyan-shen-matthew-brecknell-everton-de-matos.webp "The seL4 Microkernel")
⏲ 26 minutes 10 seconds 👁 8
_gold-sponsor-secure-systems-in-focus-challenges-solutions-amp-future-directions-everton-de-matos.webp "The seL4 Microkernel")
Gold Sponsor: Secure Systems in Focus: Challenges, Solutions, & Future Directions - Everton de Matos
⏲ 15 minutes 42 seconds 👁 9
_gold-sponsor-os-for-software-defined-vehicle-qiyan-wang-nio.webp "The seL4 Microkernel")
_toward-a-verified-minimal-ipv6-network-stack-implementation-wyeth-greenlaw-rollins-lewis.webp "The seL4 Microkernel")
⏲ 14 minutes 9 seconds 👁 10
_incremental-assurance-for-a-rust-network-stack-michal-podhradsky-galois-inc.webp "The seL4 Microkernel")
⏲ 24 minutes 21 seconds 👁 12
_sel4-on-arm-morello-martin-atkins-mission-critical-applications-limited.webp "The seL4 Microkernel")
⏲ 33 minutes 46 seconds 👁 11
_w01a-introduction-to-microkernels-and-sel4.webp "The seL4 Microkernel")
_from-l3-to-sel4-what-have-we-learnt-in-20-years-of-l4-microkernels.webp "Association for Computing Machinery (ACM)")
_a-little-secret-and-the-ordinary-dough-turns-into-a-masterpiece.webp "Cookrate - Dough Recipes")
![[+]](/images/menu.gif){kind=small}