Cracking

Hello, je rencontre des difficultés pour trouver le bon mot de passe sur cette épreuve.
Suite au reverse du binaire, je pense avoir compris correctement quelles conditions le mot de passe doit respecter, j’ai donc pu écrire un programme C qui implémente les mêmes vérifications que le challenge.
Seulement, mes différentes tentatives, en bruteforce pur ou en wordlist n’ont rien donné jusque là. Je n’ai pas repéré d’indication particulière sur la longueur ou le charset du mot de passe qui permettraient d’aller plus vite.

Du coup je me demande si j’ai zappé quelque chose, peut-être une méthode plus intelligente que le bruteforce ?

Bonjour à toi.

Je ne sais pas si des personnes ont réussi l’épreuve en brute-force mais cela me parait vraiment compliqué à réaliser. Observes bien le binaire, tu as plusieurs indices dont tu peux te servir pour trouver la longueur du mot de passe puis le mot de passe lui-même. Notamment, une des opérations utilisée pour peut te permettre de faire une étude statistique pour obtenir la longueur.

Par ailleurs, il est aussi possible d’utiliser Z3 un "SAT solver" développé par M$ Research.

Bon courage pour la suite.

Je suis dans le meme cas que @peniscola
ca fait bien deux semaines que je me bute dessus sans aucun resultat ...
Etant donne qu’il y a pas de documentation du tout attache a cet exo et la presence de 4 solutions completes je suis completement perdu...
Personne ne peut fournir une doc qui m’aiderait a avancer ?

[stop spoil, si tu le sais pourquoi tu le fais]

PS : s’il s’agit de connaissances en maths - je veux bien savoir par ou commencer