@misc{indiciaef32f98b01280,
  title = {Security: Doing Whatever is Needed... and Not a Thing More!},
  author = {Omer Katz and Benjamin Livshits},
  year = {2018},
  url = {https://arxiv.org/abs/1802.08915},
  note = {Source identifier: 1802.08915}
}