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

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