A time traveling resource monitor for modern Linux systems

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Go RPC framework with high-performance and strong-extensibility for building micro-services.

Administrative utility for AMD SEV

LLM powered fuzzing via OSS-Fuzz.

A list of system papers using/about Intel SGX

Hypervisor Memory Introspection Core Library

The published code repo for the Cortex-M SoK paper.

Fuzzing Secure Monitor Implementations

MMIO based security reference monitor

Demo of using cpu to access Arm's CCA enclaves

GWPSan: Sampling-Based Sanitizer Framework

Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

FEMU: Accurate, Scalable and Extensible NVMe SSD Emulator (FAST'18)

PoC of fuzzing closed-source userspace binaries with KVM

Linux OS for Azure 1P services and edge appliances

Meeting materials

Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)

Little Zelda clone with Pygame.

A project to derive the map data for the original NES Legend of Zelda game so that it can be used in hobbyist projects.

Free Python Games

A learning environment for Python suited for beginners and children, inspired by Logo.

IPC benchmark on Linux

Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing

LKM rootkit for Linux Kernels 2.6.x/3.x/4.x/5.x/6.x (x86/x86_64 and ARM64)

🦀️ Re-implement xv6-riscv in Rust

COCONUT-SVSM

Trusted I/O Paths for SGX Enclaves