@misc{indiciaeb1c92b290a65,
  title = {The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web},
  author = {Cheng Tan and Lingfan Yu and Joshua B. Leners and Michael Walfish},
  year = {2018},
  doi = {10.1145/3132747.3132760},
  url = {https://arxiv.org/abs/1709.08501},
  note = {Source identifier: 1709.08501}
}