A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTMP, RTMP…

A code-searching tool similar to ack, but faster.

Direct Memory Access (DMA) Attack Software

The seL4 microkernel

Wrangling Untrusted File Formats Safely

My proof-of-concept exploits for the Linux kernel

ESP8266 Analog Broadcast Television Interface

This book on heap exploitation is a guide to understanding the internals of glibc's heap and various attacks possible on the heap structure.

🔍 Colourful visualization tool for binary files

Minimal supplement to upstream Kernel Self Protection Project changes. Features already provided by SELinux + Yama and archs other than multiarch arm64 / x86_64 aren't in scope. Only tags have stab…

rVMI - A New Paradigm For Full System Analysis

Original Automated CVE Checking Tool

Use a TPM to store a TOTP token in order to attest boot state to another device

DEPRECATED TPM enabled GRUB2 Bootloader

LUKS support for storing keys in TPM NVRAM

Security advisories

Unofficial forward ports of the last publicly available grsecurity patch

Kernel Address Space Layout Randomization (KASLR) Recovery Software

mirror of git://git.denx.de/u-boot.git

This is a simple utility for enumerating D-Bus endpoints, an nmap for D-Bus.

A Genetic File, Syscall and Network Fuzzer.

GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html

Interactive spectrum analysis

An elegant and minimalistic replacement for make, written in C.

Teensy++ firmware for Datahand keyboards

american fuzzy lop (copy of the source code for easy access)

BSidesCBR 2016 - Badger Dance Badge Mod