Media Summary: I talk about a very simple set of resources that are sufficient for safely abstracting most of the underlying kernel resources. Microkernel systems must enable means to constrain the set of resources each protection domain has access to, and to specialize ... What does it take to implement fast IPC in a microkernel? What challenges does it present, and what solutions do we know about?

Gw Advos Capability Based Os - Detailed Analysis & Overview

I talk about a very simple set of resources that are sufficient for safely abstracting most of the underlying kernel resources. Microkernel systems must enable means to constrain the set of resources each protection domain has access to, and to specialize ... What does it take to implement fast IPC in a microkernel? What challenges does it present, and what solutions do we know about? This video discusses the unintuitive aspect of FOSDEM 22 presentation. Composite is a microkernel that enables component- I discuss the necessary topic of how systems constrain complexity, and can scale up to the 10s to 100s of millions of lines of code ...

The adoption of Unmanned aerial vehicles (UAVs) is rapidly expanding across civilian and defense domains to support ... Matthias Hille, Technische Universität Dresden; Nils Asmussen, Technische Universität Dresden; Barkhausen Institut; Pramod ... Wasm I/O 2024 - Barcelona, 14-15 March Slides: ...

Photo Gallery

GW AdvOS: Capability-based OS design
GW AdvOS: Capability Delegation and Revocation
GW AdvOS: Microkernel IPC Design and Optimization
Protection Mechanisms: Access Control & Capability-Based Systems Explained
GW AdvOS: User Management of Kernel Memory
Capability based security in a nutshell
5.6 CAPABILITY BASED SYSTEMS IN OS
The Composite Component-Based OS
GW AdvOS: System Design, Abstraction, Modularity, and Structure
15  OS Capabilities
Capability-Based Isolation for UAV Software Stacks: Porting PX4/NuttX to CHERI - Donato Ferraro
USENIX ATC '19 - SemperOS: A Distributed Capability System
View Detailed Profile
GW AdvOS: Capability-based OS design

GW AdvOS: Capability-based OS design

I talk about a very simple set of resources that are sufficient for safely abstracting most of the underlying kernel resources.

GW AdvOS: Capability Delegation and Revocation

GW AdvOS: Capability Delegation and Revocation

Microkernel systems must enable means to constrain the set of resources each protection domain has access to, and to specialize ...

GW AdvOS: Microkernel IPC Design and Optimization

GW AdvOS: Microkernel IPC Design and Optimization

What does it take to implement fast IPC in a microkernel? What challenges does it present, and what solutions do we know about?

Protection Mechanisms: Access Control & Capability-Based Systems Explained

Protection Mechanisms: Access Control & Capability-Based Systems Explained

Dive into the world of

GW AdvOS: User Management of Kernel Memory

GW AdvOS: User Management of Kernel Memory

This video discusses the unintuitive aspect of

Capability based security in a nutshell

Capability based security in a nutshell

Capability based security in a nutshell

5.6 CAPABILITY BASED SYSTEMS IN OS

5.6 CAPABILITY BASED SYSTEMS IN OS

In this video we will discuss the

The Composite Component-Based OS

The Composite Component-Based OS

FOSDEM 22 presentation. Composite is a microkernel that enables component-

GW AdvOS: System Design, Abstraction, Modularity, and Structure

GW AdvOS: System Design, Abstraction, Modularity, and Structure

I discuss the necessary topic of how systems constrain complexity, and can scale up to the 10s to 100s of millions of lines of code ...

15  OS Capabilities

15 OS Capabilities

15 OS Capabilities

Capability-Based Isolation for UAV Software Stacks: Porting PX4/NuttX to CHERI - Donato Ferraro

Capability-Based Isolation for UAV Software Stacks: Porting PX4/NuttX to CHERI - Donato Ferraro

The adoption of Unmanned aerial vehicles (UAVs) is rapidly expanding across civilian and defense domains to support ...

USENIX ATC '19 - SemperOS: A Distributed Capability System

USENIX ATC '19 - SemperOS: A Distributed Capability System

Matthias Hille, Technische Universität Dresden; Nils Asmussen, Technische Universität Dresden; Barkhausen Institut; Pramod ...

Capabilities all the way down - an OS for WASM by Sid Hussmann @ Wasm I/O 2024

Capabilities all the way down - an OS for WASM by Sid Hussmann @ Wasm I/O 2024

Wasm I/O 2024 - Barcelona, 14-15 March Slides: ...