Thread by @arnaugamez

📢Just published my Maths & CS BSc thesis:
📄"Code deobfuscation by program synthesis-aided simplification of Mixed Boolean-Arithmetic expressions".

Serves as an intro/review to:
- Code (de)obfuscation
- MBA expressions
- Program synthesis

👉github.com/arnaugamez/tfg

First @radareorg r2syntia prototype was developed in the context of this work. Now it has already been slightly improved and it is being updated and maintained here, in case you are interested: github.com/arnaugamez/r2s…

There is nothing really new (a part form r2syntia) but I would be glad if this "synthesis" work (pun intended) serves as a first step into the field of code (de)obfuscation and motivates the study of MBA expressions and program synthesis to help in further low-level research.

I will also present some of this work at my upcoming talk during @HITBSecConf #HITBLockdown002 if you want to get a quick review of it, be sure not to miss it!

Last but not least, this thesis couldn't have been possible without the (amazing and inspiring) previous work done by great researchers like: @RolfRolles, @mr_phrazer, Ninon Eyrolles, @werewtk (++ at @quarkslab) and many others. I want to publicly thank them here.