timoxa.tngl.sh
Primarily interested in compilers, denotational semantics, formal methods, and reverse engineering.
Reykjavík, Iceland
Punchcard 0 commits
ACPI AML decompiler w/ CFG recovery and structured pseudocode
2
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
2
Cache line locking on AMD x86_64 utilising L3 CAT pseudo-locking
2
Hypervisor kernel integrity enforcement via EPT/NPT write interception for Xen/HVM guests
2
minimal implementation of logitech and razer mouse firmware, repurposing their onboard memory as a covert channel for arbitrary data
C
1
Small research prototype with an untrusted OCaml optimisation pipeline and a trusted Coq/Rocq certificate checker
OCaml
1