Security reseach articles

FreeBSD kernel exploits

A full list of bug reports, including the non-critical bugs, as well as the link to the accepted patch in FreeBSD, where applicable, can be found here.

PS4 research

A set of articles describing the entire process of exploiting the PS4 console to gain kernel code execution just from visiting a web page with the Internet Browser.

XNU research

Most recent research I've been doing has been focussed on the iOS kernel, with Luca Todesco.

Amoung the bugs I've found was the fsevents double free race condition, which was also found and patched by Google Project Zero.

Details of the other bugs I've found may be disclosed at some point in the future.