Michael Schwarz

PTEditor. A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.

libattopng. A minimal C library to write uncompressed PNG images

Paper-Linter. A script to check for common mistakes in LaTeX source files of scientific papers.

dash-button. Making the Amazon Dash Button useful

LiveTikZ. A live preview for TikZ drawings

pdf-webslides. Convert PDF presentations to HTML, including presenter mode

colorful-printf. A printf wrapper supporting color tags, spinners, and progress bars.

asciicast2vector. Convert asciicast (asciinema recordings) to vector graphics (SVG and TikZ).

faint. FAINT - FAult INjection Tester

polyglot-jpg-pdf. A tool to combine a PDF and a JPG into one polyglot file which is both a PDF and JPG

r0e. C header to execute user-space functions in ring 0

beamer-preview. Recompile only modified slides (in parallel) for LaTeX Beamer presentations

configurable-DES. A fully customizable DES implementation for testing attacks

x86-Cache-Hierarchy-Plot. Visualize the cache hierarchy of x86 CPUs

esorics_tutorial21. C

DATA. Differential Address Trace Analysis

libsrf. Library to parse the You Don't Know Jack resource format (SRF)

FaultInjectionSimulator. A research and teaching tool for simulating fault-injection attacks on x86 binaries

BibTool. A tool to manage bibliography when collaboratively working on a LaTeX paper.

labrunner. Transferring files and running commands on multiple remote machines via SSH

ProcDetails. A kernel module showing information about procfs files

JBPPDrawfulQuestionEditor. An inofficial question editor for the Drawful game of Jackbox Party Pack (Vol. 1)

boot-into. Boot into a specific GRUB entry on the next boot

BF-js. Javascript Brainfuck implementation for educational purposes

Minimal-IOCTL-Kernel-Module. C

hotcrp-bidding-helper. A small Tampermonkey script to help with paper bidding in HotCRP

PeopleViewsPublic. Public infos for the PeopleViews project

SEP_AG_2016. Beispiele für SEP Abgabegespräche

Remote-Presenter. Forwarding a wireless presenter over the internet