w01a: Introduction to microkernels and seL4
1:24:55
w01a: Introduction to microkernels and seL4
6.6K viewsJun 1, 2020
YouTubeCSeLearning
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
A Program Logic for seL4-based System Verification - Matt Brecknell, Kry10
28:02
A Program Logic for seL4-based System Verification - Matt Breckne…
130 views9 months ago
YouTubeThe seL4 Microkernel
The Next 700 Verified seL4 Platforms - Gerwin Klein, Proofcraft
29:57
The Next 700 Verified seL4 Platforms - Gerwin Klein, Proofcraft
278 views9 months ago
YouTubeThe seL4 Microkernel
Integration of seL4 in a Flight Vehicle Mission System - Darren Cofer, Collins Aerospace
28:02
Integration of seL4 in a Flight Vehicle Mission System - Darren C…
123 views9 months ago
YouTubeThe seL4 Microkernel
The seL4 Core Platform
30:32
The seL4 Core Platform
1.3K viewsNov 20, 2020
YouTubeThe seL4 Microkernel
Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using H... J. Hatcliff
50:57
Model-based Development for seL4 Microkit/Rust with Integrated For…
369 views9 months ago
YouTubeThe seL4 Microkernel
30:59
Porting NASA's Core Flight System to Magnetite on seL4 - Juliana Fur…
164 views9 months ago
YouTubeThe seL4 Microkernel
46:12
Dividing Timelines to Verify seL4 Applications - Thomas Sewell, UN…
98 views9 months ago
YouTubeThe seL4 Microkernel
17:34
seL4 on RISC-V - Fast, Secure, Open-source and Proved Bug-fre…
307 viewsApr 20, 2021
bilibiliRISC-V国际基金会
1:08:26
[直播回放] 下一代汽车操作系统微内核seL4：seL4基金会主席谈物理系统 …
1.6K viewsSep 16, 2021
bilibili鉴释科技
25:29
Securing ROS Systems with seL4 - Alex Pavey, Nathan Studer, Cristia…
107 viewsOct 23, 2024
YouTubeThe seL4 Microkernel
35:12
Rust-based Drivers and Verified Rust Applications on seL4 - Rober…
215 views9 months ago
YouTubeThe seL4 Microkernel
29:24
A Deep Dive into seL4’s Binary Verification Story - Nick Spinale, C…
105 views9 months ago
YouTubeThe seL4 Microkernel
13:21
seL4 Foundation Update - June Andronick, seL4 Foundation
62 views9 months ago
YouTubeThe seL4 Microkernel
28:10
The seL4 Device Driver Framework - Lucy Parker, UNSW
341 viewsJan 24, 2024
YouTubeThe seL4 Microkernel
18:23
Porting seL4 to the RISC-V SoC, Toward a Secure and High-Perfor…
110 views9 months ago
YouTubeThe seL4 Microkernel
30:09
Towards Dependable System Services on seL4 - Yanyan Shen, …
146 views9 months ago
YouTubeThe seL4 Microkernel
27:03
seL4 on Big Iron: Experiences and Recommendations from Neutrality…
206 views9 months ago
YouTubeThe seL4 Microkernel
29:49
seL4 Multikernel Roadmap and Concurrency Verification - Corey …
820 viewsOct 23, 2024
YouTubeThe seL4 Microkernel
27:39
Sculpt OS - A Dynamic General-Purpose OS Powered by Genode …
1.6K views9 months ago
YouTubeThe seL4 Microkernel
48:12
seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NI…
342 viewsOct 23, 2024
YouTubeThe seL4 Microkernel
28:46
The seL4 Microkit - Ivan Velickovic, UNSW
582 viewsJan 24, 2024
YouTubeThe seL4 Microkernel
58:05
Trustworthy Systems R&D Update - Gernot Heiser, UNSW Sydney
440 views9 months ago
YouTubeThe seL4 Microkernel
23:06
1g: Lucy Parker: seL4 Device Driver Framework
804 viewsOct 26, 2022
YouTubeThe seL4 Microkernel
18:23
将 seL4 移植到 RISC-V SoC | 迈向安全高性能的 RISC-V AI 平台
290 views9 months ago
bilibili深度数智
23:46
CellulOS: An OS for Comparing Isolation Mechanisms - Sid Agraw…
156 views9 months ago
YouTubeThe seL4 Microkernel
48:51
Keynote: Formally Verified IT – Germany’s Next Cybersecurity Par…
148 views9 months ago
YouTubeThe seL4 Microkernel
43:24
sel4微内核：从技术探索到落地实践
485 viewsJun 4, 2023
bilibili掂當
4:26
微内核再加国产指令集支持！龙芯版seL4微内核顺利通过sel4test全部测 …
2.8K viewsSep 15, 2022
bilibili前进的伙伴
See more videos
Static thumbnail place holder