S2E: A platform for multi-path program analysis with selective symbolic execution.

Loupe: Syscall Usage Analysis Tool

FlexOS on ARM Morello in hybrid mode

A Secure and Memory-Efficient Heap Allocator

ConfFuzz - Fuzzing for Interface Vulnerabilities

Build and use highly customized and ultra-lightweight unikernel VMs.

FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.

FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository

wayfinder: OS Configuration Micro-Benchmarking Framework

A binary-compatible unikernel

This is a simple bot for Discord, maintaining a queue of students for an online office hour session.

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

Intra-Unikernel Isolation with Intel Memory Protection Keys

HermitCore: A C-based, lightweight unikernel