My main interest is information security, particularly at the level of binary codes. I do research in the domain of automatic methods which analyze and extract high-level properties from low-level codes. I am interested also in a more formal aspect of binary codes, that comes from type theory and formal semantics of programming languages.
I do reverse code engineering and study obfuscation/deobfuscation schemes as (strong) personal interests. I am passionated in writing softwares, some of side-projects, mostly security related, are located at my public Github repository.
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
