shxdow's research notebook

2022

• Exploitation of CVE-2020-9802: a JavaScriptCore JIT Bug
  JSC's JIT Incorrect Common Subexpression Elimination for ArithNegate

  Nov 13, 2022

• Google NUL Poison attack
  Notes on exploitation techniques in Gnu C Library

  Sep 15, 2022

• CVE-2018-1160: Netatalk RCE
  Exploitation of an Apple Filing Protocol Server

  Jul 15, 2022

• PicoCTF Horsepower - V8 exploitation
  Solution to a V8 exploitation challenge

  Jul 13, 2022

• On logic, formal verification and decision procedures - Part II
  Introduction to first order logic

  Mar 28, 2022

2021

• Inchworm theory
  On learning, improvement and performance

  Jul 16, 2021

• On logic, formal verification and decision procedures - Part I
  Introduction to propositional logic

  Jan 17, 2021

• Start
  Grappling with procrastination

  Jan 16, 2021

2017

• Analysis of Wirenet
  Reverse engineering a cross-platform banking trojan

  Jul 4, 2017