zatkh

cloud-hypervisor

LibSandbox

snmalloc

Message passing based allocator

verona

Research programming language for concurrent ownership

wasi-libc

WASI libc implementation for WebAssembly

build

cascade

A high level language for SELinux policy

CBL-Mariner-Linux-Kernel

The source for the Linux kernel used in CBL-Mariner

cheribsd

cherivm

EdgeML

This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.

emscripten

emscripten-1

Emscripten: An LLVM-to-Web Compiler

exploitdb

The official Exploit Database repository

kvm-vmi

KVM-based Virtual Machine Introspection

LEBench

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

linux

optee-sk

owl

sandboxed-api

Sandboxed API automatically generates sandboxes for C/C++ libraries

sirius-tee

transientfail

Website and PoC collection for transient execution attacks

verona-mc

wamr

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain

wasm-micro-runtime

WebAssembly Micro Runtime (WAMR)

WAVM

zatkh.github.io

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.