Brad Spengler on copy_*_user()

Bradley Spengler on "Why do we use copy_to_user()/copy_from_user in kernel code?": Under certain conditions, you could get away with not using such an API – Windows for instance lacks (l...

• Status: Ongoing

On logic, formal verification and decision procedures - Part I

This post tries to be the enstablishment of a series that aims to introduce the use of formal methods and decision procedures in computer science and software engineering. The structure adopted st...

Start

Trouble concentrating on a task ? Set a 3 minute timer and do it. Rest for 3 minutes. Rinse, wash, repeat.

• Status: Ongoing

Notes on CVE-2017-2464

This is an attempt I made somewhere around April in 2019 at finding an already known vulnerability. More specifically, these are the notes I took while trying to come up with a clear idea of what t...

• Status: Ongoing

On software, engineering and reliability

This post aims to answer a recurring question I've had in the last 9 months as I've had the chance to find myself being tasked to build a system rather than break it. Many mistakes of my o...

Analysis of Wirenet

I came across an article about an attack that leveraged phishing in order to drop Java malware on victims' machines. This reminded of Wirenet, a cross-platform malware that really made me wonde...