mmisono

libtlp

A library for PCIe Transaction Layer

adapter

An FPGA-based NetTLP adapter

RVM

Rcore Virtual Machine

bitvisor-armv8

Porting bitvisor to AArch64.

thesis-defense

LaTeX beamer slides of my thesis defense "Open Source Modelling and Optimisation of Energy Infrastructure at Urban Scale"

aya

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

rewind

Snapshot-based coverage-guided windows kernel fuzzer

Cozart

Silm your kernel with better configuration.

nosecmem

Demonstrate ability to read memfd_secret() data from the kernel

Nyx

USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types

Hypercube

NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing

healer

Kernel fuzzer inspired by Syzkaller.

superopt

A superoptimizing compiler for packet-processing

easy_z3

Using z3's never been easier (maybe)

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

hAFL2

A kAFL based hypervisor fuzzer which fully supports nested VMs

node-replicated-kernel

Experimental kernel with built-in replication.

bochscpu

Linux-Kernel-Programming

Linux Kernel Programming, published by Packt

WHP-simple

A simple example of using Windows Hypervisor Platform (WHP)

m1n1

A bootloader and experimentation playground for Apple Silicon

gmail-oauth2-tools

Tools and sample code for authenticating to Gmail with OAuth2

aflplusplus-hier

afl/afl++ with a hierarchical seed scheduler

libbpf-rs

Minimal and opinionated eBPF tooling for the Rust ecosystem

asciinema

Terminal session recorder 📹

zotcite

Vim plugin for integration with Zotero

btrfs-fuzz

Unsupervised coverage-guided btrfs fuzzer

perfetto

Performance instrumentation and tracing for Android, Linux and Chrome (read-only mirror of https://android.googlesource.com/platform/external/perfetto/)

bpftoolkit

tracepoints-helpers

eBPF script and kernel module to extract info from tracepoints