shxdow's research notebook
about
•
blog
•
archive
•
rss
Exploitation of CVE-2020-9802: a JavaScriptCore JIT Bug
13/11/2022
Google NUL Poison attack
15/09/2022
CVE-2018-1160: Netatalk RCE
15/07/2022
PicoCTF Horsepower - V8 exploitation
13/07/2022
On logic, formal verification and decision procedures - Part II
28/03/2022
Inchworm theory
16/07/2021
On logic, formal verification and decision procedures - Part I
17/01/2021
Start
16/01/2021
Analysis of Wirenet
04/07/2017
Kernel notes
20/04/2016