Simple, scriptable, secure HTTP/SOCKS5 forward proxy

Instructions and tools to boot Xen in UEFI mode with TPM measurements of Xen and dom0

The BUSSide Badge

A Genetic File, Syscall and Network Fuzzer.

syzkaller is an unsupervised coverage-guided kernel fuzzer

Scripts for collecting metrics of the attack surface

Wrangling Untrusted File Formats Safely

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Linux based inter-process code injection without ptrace(2)

Tracking CVEs for the linux Kernel

Java lambda goodness to bind models and views together.

Grab ssh keys from ssh-agent

This repository contains a docker container dedicated to reverse engineering

rVMI - A New Paradigm For Full System Analysis

MASCAB: a Micro-Architectural Side-Channel Attack Bibliography

Set up a personal VPN in the cloud

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

Unofficial mirror of xen.git (http://xenbits.xen.org/)

Kernel Address Space Layout Randomization (KASLR) Recovery Software

Direct Memory Access (DMA) Attack Software

Advice for writing LaTeX documents

A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.

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…

A minimal, resource efficient unikernel for cloud services

Security Technical Implementation Guide for Debian

A collection of links related to Linux kernel security and exploitation

My proof-of-concept exploits for the Linux kernel

🔍 Colourful visualization tool for binary files