Exploring Execution Trace Analysis

Posted on Oct. 18, 2019

Recently I have published a blogpost showing some of the work I have done during my internship at Quarkslab. The blogpost can be found here.

Christmas is gone, but I'd like to keep a symbolic tree

Posted on Jan. 29, 2019

Recently as part of a small project I have been wondering what is the most efficient data structure for implementing associative arrays when symbolic keys are involved.

An associative array is a data type consisting in a collection of key-value pairs such that each key in unique. Normally this data ...

Farewell THS

Posted on July 1, 2018

The THS (or Twente Hacking Squad) is the academic CTF team of the University of Twente in the Netherlands. This is also the university where I spent my first year of MSc.

Time passes fast and my first year of MSc is already is time to leave the ...

RHme3 Qualifiers

Posted on Sept. 13, 2017

Some time ago RHme3 qualifiers were ending. The challenges were very interesting to do and some of them particularly frustrating (yes whitebox crypto, I'm talking about you).

Luckily I was able to solve them all but unfortunately I never had the time to write a proper writeup for all ...

RHme3 Qualifiers: Exploitation

Posted on Sept. 12, 2017

The Exploitation challenge was the first of the three RHme3 qualification challenges that I manage to solve. As one would expect this was the challs that was solved the most, probably because the majority of CTF players feel more comfortable with exploitation tasks.

So, let's take a look at ...