Edgar

51
reputation
1
4

Senior Security Researcher - COSEINC (Singapore)

I like:

  • reverse code engineering of x86/64/ARM
  • program analysis using formal methods (SAT/SMT solvers)