Publications

Captain Hook - How (not) to look for vulnerabilities in Java applications

mer 19/01/2022 - 10:45 During my 6-months intership, I developed a tool to ease vunerability research on Java applications. I used several software and libraries, and faced a number of issues throughout the development of this tool, Captain Hook. This article describes Captain Hook's development process from the beginning along with its challenges.

Dissecting NTLM EPA with love & building a MitM proxy

ven 14/01/2022 - 18:01 Why you never managed to connect to this fre*king NTLM EPA protected website and how to finally reach it.

Cracking Radmin Server 3 passwords

ven 17/09/2021 - 16:06 Reverse-engineering a hashing mechanism and optimizing password cracking

Writing a (toy) symbolic interpreter, and solving challenges, part 4

ven 30/07/2021 - 09:11 This is the last part of series, where we solve the challenge using our symbolic interpreter, and an external SMT solver. Huge success!

Writing a (toy) symbolic interpreter, and solving challenges, part 3

mer 28/07/2021 - 10:00 In this installment, we turn the concrete interpreter into a symbolic interpreter. How exciting!

Writing a (toy) symbolic interpreter, and solving challenges, part 2

ven 23/07/2021 - 10:05 In the second part of this series, we write a concrete interpreter for a subset of WebAssembly.

Writing a (toy) symbolic interpreter, and solving challenges, part 1

lun 19/07/2021 - 19:01 Writing a symbolic interpreter, and wiring it to a solver in order to solve reverse engineering challenges (or other uses), might seem like a daunting task. Even simply using an existing symbolic interpretation framework is far from easy when one has no experience in it. This serie of articles will describe, throughout the summer, how such an engine is built, and showcase implementation tricks and some trade offs to be aware off. Do not worry, the interpreter will be kept as simple as possible though! In the end, we...

Unleash the dino: Time-based strategies to improve password cracking

mer 23/12/2020 - 08:09 In this article we share technical details on how Kraqozorus automatically generates password cracking strategies that improve both the number of cracked hashes and time required to run the attacks.

Investigating IDA Lumina feature

mar 15/12/2020 - 13:25 Lumina is a built-in function recognition feature of the well-known IDA pro disassembler that relies on an online signature database. Unfortunately, the database server is not available for local private use. Have you ever raged at a misstyped hotkey that sent your database content to the Lumina servers, wondered how it works, what kind of data is sent, and wished for a local server under your control? This blog post might answer some of your questions.

Rulesfinder, automatically create good password cracking rulesets

jeu 14/05/2020 - 09:50 We wrote a new tool that automates the creation of efficient mutation rules for password crackers, such as John the Ripper or hashcat. This posts describes the high level ideas behind this tool, along with some history. If you just want to use it, check our Github repo!