A Deep Dive into seL4’s Binary Verification Story - Nick Spinale, Colias Group
29:24
A Deep Dive into seL4’s Binary Verification Story - Nick Spinale, C…
106 views1 week ago
YouTubeThe seL4 Microkernel
seL4 on Big Iron: Experiences and Recommendations from Neutrality's Atoll Hypervisor - David Cock
27:03
seL4 on Big Iron: Experiences and Recommendations from Neutrality…
1 views9 months ago
YouTubeThe seL4 Microkernel
Rust-based Drivers and Verified Rust Applications on seL4 - Robert VanVossen, Dornerworks
35:12
Rust-based Drivers and Verified Rust Applications on seL4 - Rober…
248 views9 months ago
YouTubeThe seL4 Microkernel
Porting NASA's Core Flight System to Magnetite on seL4 - Juliana Furgala, MIT Lincoln Laboratory
30:59
Porting NASA's Core Flight System to Magnetite on seL4 - Juliana Fur…
187 views9 months ago
YouTubeThe seL4 Microkernel
seL4 Foundation Update - June Andronick, seL4 Foundation
13:21
seL4 Foundation Update - June Andronick, seL4 Foundation
72 views9 months ago
YouTubeThe seL4 Microkernel
Dividing Timelines to Verify seL4 Applications - Thomas Sewell, UNSW Sydney
46:12
Dividing Timelines to Verify seL4 Applications - Thomas Sewell, UN…
104 views9 months ago
YouTubeThe seL4 Microkernel
Improving Confidential Computing with seL4: A Promising Guest OS Solution - Alexander Weidinger
16:03
Improving Confidential Computing with seL4: A Promising Guest OS …
179 views9 months ago
YouTubeThe seL4 Microkernel
28:02
Integration of seL4 in a Flight Vehicle Mission System - Darren C…
130 views9 months ago
YouTubeThe seL4 Microkernel
30:09
Towards Dependable System Services on seL4 - Yanyan Shen, …
146 views9 months ago
YouTubeThe seL4 Microkernel
29:49
seL4 Multikernel Roadmap and Concurrency Verification - Corey …
897 viewsOct 23, 2024
YouTubeThe seL4 Microkernel
48:12
seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NI…
350 viewsOct 23, 2024
YouTubeThe seL4 Microkernel
28:02
A Program Logic for seL4-based System Verification - Matt Breckne…
140 views9 months ago
YouTubeThe seL4 Microkernel
50:57
Model-based Development for seL4 Microkit/Rust with Integrated For…
376 views9 months ago
YouTubeThe seL4 Microkernel
29:57
The Next 700 Verified seL4 Platforms - Gerwin Klein, Proofcraft
289 views9 months ago
YouTubeThe seL4 Microkernel
18:23
Porting seL4 to the RISC-V SoC, Toward a Secure and High-Perfor…
132 views9 months ago
YouTubeThe seL4 Microkernel
28:46
The seL4 Microkit - Ivan Velickovic, UNSW
626 viewsJan 24, 2024
YouTubeThe seL4 Microkernel
27:39
Sculpt OS - A Dynamic General-Purpose OS Powered by Genode …
1.8K views9 months ago
YouTubeThe seL4 Microkernel
58:05
Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney
440 views9 months ago
YouTubeThe seL4 Microkernel
See more videos
Static thumbnail place holder