[ippisl]

This type of problem is called secure two party computation. Tasty looks like a good framework to use for this kind of problems.

http://code.google.com/p/tastyproject/