@article{taha2018qres,
  title={QRES: Quantitative Reasoning on Encrypted Security SLAs},
  author={Taha, Ahmed and Boukoros, Spyros and Luna, Jesus and Katzenbeisser, Stefan and Suri, Neeraj},
  journal={arXiv preprint arXiv:1804.04426},
  year={2018}
}