Brad Spengler on API to move data between user and kernel space

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...

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.

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...