Cornelius Diekmann

wasm-fizzbuzz. WebAssembly from Scratch: From FizzBuzz to DooM.

Iptables_Semantics. Verified iptables Firewall Ruleset Analysis

uefi_nyan_80x25. Porting Nyan cat to UEFI. In Rust 🦀. Writeup ✍️

net-network. Public collection of firewall dumps.

BACnetSim. A scala BACnet simulator using bacnet4J

dump-x86_64-pagetable. Linux Kernel module to dump the page tables currently used by the CPU on intel 64bit systems with 4 level paging.

encryption-is-not-integrity. “Encryption is Not Integrity!,” PoC||GTFO vol. 20, no. 08, pp. 62–67, Jan. 2020.

telnet-password-honeypot. A simple telnet server that prompts users for a password and stores it in a file.

topoS. Isabelle

kant. Kategorischer Imperativ in Isabelle/HOL (experimental)

Isabelle-Hello-World. Hello World in Isabelle, compiled to Haskell

jslinux. Trying to reproduce compilation of https://bellard.org/jslinux/ by great Fabrice Bellard

cctrack. Adaptive Low-Level Packet Sampling for High-Speed Networks

fancy-octo-fropnicator. Simple tool to convert LaTeX generate pdt to a plain .txt file. Used to apply spelling and grammar checking by e.g. microsoft word

python_tcpdump. a stdin parser for tcpdump. HACKY!

tum-manpages. manpages of folks at TUM

isabelle-brainfuck. the famous brainfuck language implemented in the famous isabelle theorem prover

bsides-muc-2018-slides. TeX

isabelle_awesome_tac.

openttd-web-publishing. An attempt to automatically publish the openttd game to GithubPages

uefi_playground. Playing with UEFI Applications

phd-defense-slides. TeX