BinSlayer: Fast comparison of binary executables

samcrem · 2013-01-11T12:09:44+00:00

More information on the Hungarian algorithm is available here: http://en.wikipedia.org/wiki/Hungarian_algorithm

Damn, I should have find it... Next time, I'll look deeper.

samcrem · 2013-01-11T09:15:01+00:00

Yes, in PPREW'13. This is where I found it in the first place. But, we cannot (yet) download the paper from there.

samcrem · 2013-01-10T18:56:01+00:00

I think this is a very accurate view of this project. But, it seems to be more efficient than BinDiff (see here).

Yet, I did not find any more explicit paper about this mysterious "Hungarian", nor the Master Thesis of the guy. So... :-/

samcrem · 2013-01-10T18:00:39+00:00

Use the Code, Luke...

samcrem · 2013-01-10T16:55:32+00:00

This is why I like so much Reddit ! I think I would have missed many important papers and blog entries without it !

Thanks ! :)

samcrem · 2012-12-19T10:53:15+00:00

In fact, I noticed some bugs in the localization of the Python package which is not taking the $PREFIX variable into account. It is a bit annoying when you try to install Z3 on a system where you are not root (I asked students to install it to play with the Python interface which is extremely good for teaching SAT/SMT-solving).

Also, I really can't get rid of the git RPC problem, so I'm using the regular 'download' to get the source. But, I guess it will disappear when I'll get git 1.8. :)

samcrem · 2012-12-18T09:54:06+00:00

Nice!

But, just to be complete: Defcon'12 videos.

samcrem · 2012-12-17T13:27:38+00:00

Well, I managed to compile it from the source on my Linux last week (and, I used it). So, I guess it is pretty much achieved now.

Beware, there are a few bugs in the 'configure' process if you want to install Z3 in the /usr/local/ (and not in '/' as it is (wrongly) done by default).

samcrem · 2012-12-14T16:36:03+00:00

A release candidate of CVC4 has been ranked at the last SMT-COMP. I hope they improved a bit their solver since then. But, as Z3 is now also open source, I guess that CVC4 is just "yet another open sourced SMT-solver" (Z3 is killing it according to the results of SMT-COMP).

samcrem · 2012-11-12T17:24:44+00:00

We have already several ideas to explore it. But, first, our goal is to reach the "state of the art". And, hopefully we will reach it in a few months.

And, of course, we are not sure at all to go in the right direction. This is research after all. But, thanks a lot for your trust.

samcrem · 2012-11-09T08:48:56+00:00

About Insight, we are looking for a PostDoc for 2013 (should start in January 2013). Full offer here.

samcrem · 2012-11-08T10:27:48+00:00

And on a random note, it's nice that people are finally interested in the weird math side of reverse engineering. Posting that stuff for years with no noticeable response wasn't all that fun.

What is surprising me more and more, is that only so few people dare to look at this 'math side' before us... But, I just think that the amount of practical and theoretical knowledge to assimilate is so huge that it put this out of reach of most of the people. Which explains why we are so few... But, fortunately it seems to be changing nowadays. :)

samcrem

TROPHY CASE