International Association
for Cryptologic Research

@article{jofc-2016-28430,
  title={Automata Evaluation and Text Search Protocols with Simulation-Based Security},
  journal={J. Cryptology},
  volume={29},
  pages={243-282},
  doi={10.1007/s00145-014-9193-x},
  author={Rosario Gennaro and Carmit Hazay and Jeffrey S. Sorensen},
  year=2016
}