Hi guys,
I recently joined exetools and would like to give you a short introduction. I am a reverse engineer with a background in maths and cryptography, focussing on (semi-) automated program analysis. Based on more theoretic concepts, I use methods/tools such as SMT solvers and symbolic execution to solve problems related to reverse engineering and exploitation.
I am open for interesting discussions, sharing ideas and learning new stuff