You are allowed to look inside

I teach and research security, building the small tools I wish existed along the way. Publications · 15⭐ across my repos.

Made because I needed them

• 1⭐ glassbox-ctf: Learn hacking by seeing what’s happening at the victim
• 8⭐ thesis-proposal-skills: Write a convincing thesis proposal with support from AI
• 2⭐ compact-latex-article: Minimal LaTeX document class for clean, compact articles with IDE and CI/CD integration

Made for my university

• 3⭐ BeamerThemeEsplanade: A LaTeX Beamer theme that follows the design manual of Technische Hochschule Ingolstadt
• 1⭐ thi-linux-macos-setup: Unofficial community notes for Linux and macOS at Technische Hochschule Ingolstadt

Made by others, patched by me

• OpenFoxes/Tiny4Linux: Controller (GUI & CLI) for the OBSBot Tiny2 on Linux

Made during my master's thesis (2016)

Compositional Analysis for Exposing Vulnerabilities. MACKE splits a C program into per-function units, analyses each with KLEE, then chains the errors it finds up the call graph toward main. Left online in case any of it is useful.

macke · klee · TargetedSearchStandalone · opt-delete · bitcode-kaleidoscope