already made a few posts but i suppose i should make a self-introduction too.
long-time reverser, fravia fan, former softice user. i also like type theory and functional programming. and this is really exciting to see:
Quote:
Originally Posted by t3xc0d3
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.
|
can't wait to see more from you! ;]