Security Under the BEAM - Building Trustworthy Isolation in Operating Systems
Explore the Kry10 Secure Platform, combining BEAM VM isolation, seL4 Microkernel, and formal methods to build trustworthy, fault-tolerant systems for IoT and next-gen software development.
Rust on L4Re - Safe Language Meets Safe Microkernel
Explore the integration of Rust's memory-safety features with L4Re's microkernel for enhanced system reliability and security. Learn about porting challenges and future applications in IPC.
Security in Zephyr and Fuchsia - Comparing Emerging Open Source Operating Systems
Explore security architectures and mechanisms in Zephyr and Fuchsia operating systems, comparing them to Linux. Learn about ongoing advancements and unique approaches to IoT and microkernel-based security.
Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015
Explore formal methods for creating bug-free software, including SeL4 microkernel and CompCert compiler. Learn about recent advancements and limitations in producing high-assurance software for vehicles.
Containers, VMs, Processes - How All of These Technologies Work
Explore virtualization technologies, comparing containers, VMs, and microkernels. Understand their workings, origins, and use cases through demos and explanations suitable for all technical levels.
Containers, VMs, Processes - Deep Dive and Learn About Your Operating System
Explore virtualization, containers, and microkernels. Compare technologies like Docker, KVM, and Xen. Gain insights into system isolation, choosing tools, and solving scaling and security issues.
Antikernel - A Decentralized Secure Hardware Software Operating System
Explore a decentralized secure hardware-software operating system with parallel networks, memory management, and microkernel security core for enhanced system protection and efficiency.
Anatomy of a Run-Time - Your Contract with the Kernel
Explore the interplay between kernel design, language run-times, and software development. Gain insights into OS interfaces, run-time components, and their impact on software portability and future innovations.
Verified seL4 on Secure RISC-V Processors
Exploring seL4 microkernel implementation and verification on RISC-V, discussing security features, time protection, and related open-source technologies for building secure systems.
BPF Microconference
Explore advancements in BPF technology for Linux kernel, covering networking, tracing, and security. Learn about verifier scalability, type formats, dynamic tracing, and more in this comprehensive session.
seL4 and BEAM: Running Erlang Without an OS
Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel
Explore HongMeng, a general-purpose microkernel addressing performance and compatibility challenges while maintaining security and reliability for smartphones and smart vehicles.
Building a Large-Scale Cloud-Native Event Grid with EventMesh
Explore building a large-scale cloud-native event grid using EventMesh. Learn about architecture planning, ecosystem development, and practical implementation in Huawei Cloud.
Sculpt OS - A Novel Operating System for Truly Trustworthy Computing
Explore Sculpt OS, a showcase of the Genode Operating System Framework. Learn about microkernels, Genode features, and the SDK through a live system demonstration.