RSSAmplifier

Blog

Eduardo Blázquez’s Personal Webpage

Nothing to write here...

fare9.github.ioRSS feed ↗10 posts

Latest posts

Analysis of Virtual.1 by Bagolymadar

The following post will describe the analysis of Virtual.1 a crakcme that implements a simple virtual machine, I used Triton emulation capabilities to solve it. Here I show an analysis of the VM, and the resources I used to do it.

Writing an IR from Scratch and survive to write a post

The following post will talk about the design of the first version of the Intermediate Representation of Kunai, the design decisions and how it was implemented.

Notes about ELF File Format

My personal notes about the ELF file format

Notes about Linux ptrace syscall

My personal notes about the Linux ptrace syscall

Madame De Maintenon’s Cryptographic Pursuit – Unmasking the Traitors

Hex-rays has published a second CTF where we have to uncover the location of the traitors in the story of Madame de Maintenon (the IDA Lady)

Solving the hack.lu 2021 OLLVM Challenge with Triton

Following the previous post about using Triton for solving challenges through symbolic execution and SMT Solving, this time we will try solving an obfuscated hacklu.

Solving Hex-Rays Challenge with Triton and TritonDSE

Triton is a library for doing Symbolic Execution, useful for doing common CTF challenges and analyzing obfuscations. TritonDSE is a library built on top of Triton which provides easy and customizable Dynamic Symbolic Execution Capabilities

Kunai, a library for analyzing Dalvik Executable Files

Kunai is a library for analyzing Dalvik Executable Files, this library is written in C++ for performance reasons

The Making of Fuzzing Against the Machine: A Chill Tale

History of how the idea of the book Fuzzing Against The Machine started and favorite chapters of the authors

Static Single Assignment Algorithm for MLIR

Explanation of Static Single Assignment Algorithm for MLIR