Automata Evaluation and Text Search Protocols with Simulation Based Security

   Abstract