an efficient protocol for oblivious dfa evaluation and applications .
TASTY: tool for automating secure two-party computations