DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Genode
Genode
Microkernel Construction Introduction
Can Microkernels Mitigate Microarchitectural Attacks?⋆
Operating System Support for Run-Time Security with a Trusted Execution Environment
KOS - Principles, Design, and Implementation
Embassies: Radically Refactoring the Web Jon Howell, Bryan Parno, John R
Master Thesis
A Multiserver User-Space Unikernel for a Distributed Virtualization System
State Spill in Modern Operating Systems
FOSDEM 2018 Schedule
Genode Operating System Framework Platforms
General-Purpose Computing with Virtualbox on Genode/NOVA
Genode Operating System Framework Foundations
System Fundamentals
Errata of Application of Software Components in Operating System
Formal Verification of a Component Platform Matthew Fernandez
Emphasizing on the Rhythm Generation Mechanism
How to Download File Using Libcurl Libcurl - Small Example Snippets
Architectures, Microkernels, IPC, Capabilities Architectures, Microkernels, IPC, Capabilities
Top View
Programming Unikernels in the Large Via Functor Driven Development (Experience Report)
Reaching Puberty: How Genode Is Becoming a General-Purpose OS
High Assurance Modeling and Rapid Engineering (HAMR) for Embedded Systems
Hardware-Accelerated Graphics on Microkernels
Inter-Process Communication
A Capability-Based Microkernel
Genode As General-Purpose OS Progress Report and Demonstration
Abstracts for the Society for Cutaneous Ultrastructure Research (SCUR) 23Rd Annual Meeting Grand Hotel, Gardone Riviera, Brescia, Italy, April 11-13, 1996
Application of Software Components in Operating System Design
Building Client Server Based Application in Genode Operating
Cubicleos: a Library OS with Software Componentisation For
FOSDEM 2020 Schedule
Propuesta De Software Base Para El Desarrollo De Sistemas Embebidos
Ofterskw37-2019.Pdf
The Sel4 Microkernel an Introduction
Kernel Isolation of a Capability-Based Security Operating System
Application of Software Components in Operating System Design
Where Fantasy Creates a New Reality
Sel4 Whitepaper [Pdf]
Curl User Survey 2020 Analysis
October 2015 Vol
A Functional Approach to Memory-Safe Operating Systems
Program and Table of Contents
Contribution À Une Épistémologie Des Sciences Du
Bug Bounty Stats
Genode As Desktop OS
Brunnen in Waldbronn
Microkernel-Based Operating Systems - Introduction
[Security Policies in Nizza on Top of L4sec]
Securing Graphical User Interfaces
Genode Operating System Framework Foundations
ARM Architecture from Wikipedia, the Free Encyclopedia
FOSDEM 2020 Schedule
Introducing Kernel-Agnostic Genode Executables (Slides)
A Microkernel Based Secure Operating System Using Genode Framework
Curl Uses Libcurl
A Characterization of State Spill in Modern Operating Systems
An Experiment in Operating System Structure and State Management
A Library OS with Software Componentisation for Practical Isolation Extended Abstract Vasily A