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

• 1⭐ glassbox-ctf: Learn hacking by seeing what’s happening at the victim
• 6⭐ 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

• 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

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