Pinned Repositories
advent-of-code
Me practicing programming, so naturally the solutions here are not really good/idiomatic.
arithmetic-expressions-calc
Exploring various kinds of program execution (interpreter / VM / JIT compiler / AOT compiler).
arithmetic-expressions-calc-fuzz
Learning fuzzing by finding bugs in my own C code.
EnumMSR
This is a small experiment for enumerating all possible model-specific registers (MSRs) of a Intel CPU under Linux.
git-quine
A toy program that can print the commit hash of the commit itself is contained in.
lambda-calculus-full-reducing-krivine-machine-cli
Demo project (cli wrapper around the library) implementing normal-order evaluation of untyped lambda calculus terms with a Krivine machine.
LD_PRELOAD-demo
Demo of LD_PRELOAD. Overriding and log `socket(2)`, `recv(2)`, `send(2)`, and `close(2)`.
tun-demo-file
A demo of userspace-networking / TUN devices on Linux: creating a network tunnel over the file system.
stfnw's Repositories
stfnw/LD_PRELOAD-demo
Demo of LD_PRELOAD. Overriding and log `socket(2)`, `recv(2)`, `send(2)`, and `close(2)`.
stfnw/advent-of-code
Me practicing programming, so naturally the solutions here are not really good/idiomatic.
stfnw/arithmetic-expressions-calc
Exploring various kinds of program execution (interpreter / VM / JIT compiler / AOT compiler).
stfnw/arithmetic-expressions-calc-fuzz
Learning fuzzing by finding bugs in my own C code.
stfnw/Debugging_Dirty_Pipe_CVE-2022-0847
Presentation slides and supplementary material
stfnw/Decomposition-of-Linear-Time-Properties
2017-2018 seminar presentation Theoretical Computer Science
stfnw/EnumMSR
This is a small experiment for enumerating all possible model-specific registers (MSRs) of a Intel CPU under Linux.
stfnw/exercise-4.4.1
A basic Java-implementation of table-driven predictive parsers for the various grammars given in Exercise 4.4.1 of the Dragon Book.
stfnw/git-quine
A toy program that can print the commit hash of the commit itself is contained in.
stfnw/lambda-calculus-full-reducing-krivine-machine-cli
Demo project (cli wrapper around the library) implementing normal-order evaluation of untyped lambda calculus terms with a Krivine machine.
stfnw/tun-demo-file
A demo of userspace-networking / TUN devices on Linux: creating a network tunnel over the file system.
stfnw/fuse-monitor-read-write
Visualize file reads and file writes.
stfnw/jit-expression
This is a small demo project that implements a simple JIT for evaluating arithmetic expressions.
stfnw/lambda-calculus-full-reducing-krivine-machine
Demo project (library) implementing normal-order evaluation of untyped lambda calculus terms with a Krivine machine.
stfnw/NP-completeness-of-Hamiltonian-Cycles
2019-2020 seminar presentation Complexity Theory
stfnw/pov-ascii
a simple demonstration of persistence of vision using the Atmel ATmega8 microcontroller and eight LEDs to display ASCII-Strings
stfnw/process-entropy-search
Identifying potential secrets in process memory by searching for high-entropy strings.
stfnw/quine-generator
Create your own quine (C / s390x assembly)
stfnw/trivial-secret-sharing
Trivial secret sharing under n parties so that all n pieces are needed for reconstruction.
stfnw/userspace-memorysearch-kptr
Searching process memory.