Notes Kernel notes Reverse-engineering Analysis of Wirenet Short Inchworm theory Start Logic On logic, formal verification and decision procedures - Part II On logic, formal verification and decision procedures - Part I Math On logic, formal verification and decision procedures - Part II On logic, formal verification and decision procedures - Part I Ctf CVE-2018-1160: Netatalk RCE PicoCTF Horsepower - V8 exploitation N-day Analysis of CVE-2023-32439: a Type Confusion Bug Exploitation of CVE-2020-9802: a JavaScriptCore JIT Bug CVE-2018-1160: Netatalk RCE Linux Google NUL Poison attack Safari Analysis of CVE-2023-32439: a Type Confusion Bug Exploitation of CVE-2020-9802: a JavaScriptCore JIT Bug