Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

CTF Field Guide

WASI libc implementation for WebAssembly

Tool to generate ROP gadgets for ARM, AARCH64, x86, MIPS, PPC, RISCV, SH4 and SPARC

A reverse-engineered Bose Connect imitation program for Linux.

Buffer overflow testbed, research paper published at ACSAC 2011

The MiBench testsuite, extended for use in general embedded environments

rc4 java c++ python php

JOS - MIT 6.828 Operating System Engineering 2016

MirageOS on RPi4

Detailed solutions to assignments of MIT's Operating Systems Engineering course

KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)

Tarides Research Project: OCaml bytecode running on the nRF52 embedded platform, using the standard OCaml runtime with RIOT OS.

Tests to explore when C compilers do Tail Call Optimization

Prototype Implementation of "A Formal Approach to Multi-Layered Privileges for Enclaves" (NDSS 2025)

Security benchmarks for the Internet of Things

A repository for learning various heap exploitation techniques.

Automatic Compartments for Embedded Systems