SeL4
Microkernel
seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of the L4 microkernel lineage but is implemented using high-assurance methods. seL4 uses formal mathematical verification to prove the system's confidentiality, integrity, availability among other properties.
Nº Q20755116 ★★
Uncommon · Knowledge
SeL4
Microkernel
seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of the L4 microkernel lineage but is implemented using high-assurance methods. seL4 uses formal mathematical verification to prove the system's confidentiality, integrity, availability among other properties.
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
seL4 (security enhanced L4) is an open-source, high-assurance, capability-based microkernel. It inherits the performance and design characteristics of the L4 microkernel lineage but is implemented using high-assurance methods. seL4 uses formal mathematical verification to prove the system's confidentiality, integrity, availability among other properties. The initial paper outlining seL4's verification was inducted into the 2019 ACM SIGOPS Hall of Fame. The kernel is extremely minimal, handling only memory management, process isolation, and scheduling. Its Inter-Process Communication (IPC) acts as a protected procedure call for cross-domain invocation rather than general-purpose message passing.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
L4 microkernel family
Family of second-generation microkernels
Nº Q1797819 ★
SELinux
Linux kernel security module
Nº Q116038 ★★
SSE4
SIMD CPU instruction set used in the Intel Core microarchitecture and AMD K10 (K8L)
Nº Q6011196 ★★
WireGuard
Free software that implements virtual private network
Nº Q28975568 ★★★★
SAML
XML-based format and protocol for exchanging authentication and authorization data between parties
Nº Q1758048 ★★
I3C (bus)
Serial bus
Nº Q55621562 ★