Blog
Eduardo Blázquez’s Personal Webpage Nothing to write here...
triton notes post analyzing following kunai library machine personal solving algorithm mlir analysis virtual Latest posts 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.
Apr 5, 2026 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} 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.
Jun 21, 2024 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} My personal notes about the ELF file format
Jun 16, 2024 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} My personal notes about the Linux ptrace syscall
Jun 16, 2024 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]}
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)
Nov 24, 2023 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} 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.
Jul 20, 2023 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} 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
Jun 26, 2023 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} Kunai is a library for analyzing Dalvik Executable Files, this library is written in C++ for performance reasons
Jun 10, 2023 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} History of how the idea of the book Fuzzing Against The Machine started and favorite chapters of the authors
May 11, 2023 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]} Explanation of Static Single Assignment Algorithm for MLIR
May 2, 2023 · {"name"=>nil, "avatar"=>"/assets/images/fare9.jpg", "bio"=>"Compiler Engineer at Quarkslab", "location"=>"Madrid, Spain", "links"=>[{"label"=>"Twitter", "icon"=>"fab fa-fw fa-twitter-square", "url"=>"https://twitter.com/Farenain"}, {"label"=>"GitHub", "icon"=>"fab fa-fw fa-github", "url"=>"https://github.com/Fare9"}]}
← Prev ✦ Random Next → Visit ↗ Feed Kagi ↗