baby-re is what the DEFCON organizers call a “Baby’s first” exercice, which means
you shouldn’t expect too much points from it.
Here, it’s a 64bits executable that asks for a password character by character.

It will read 13 characters, store them and apply some mathematics on their ascii
values. LOTS of mathematics (here is an overview of the CheckSolution function)

And to solve this one since I suck at maths, I used
angr which is a framework for analyzing binaries by using concolic
analysis.

Here is the script I used to solve this challenge: