@misc{indiciae71311dca8533,
  title = {Reasoning about Probabilistic Defense Mechanisms against Remote Attacks},
  author = {Martín Ochoa and Sebastian Banescu and Cynthia Disenfeld and Gilles Barthe and Vijay Ganesh},
  year = {2017},
  url = {https://arxiv.org/abs/1701.06743},
  note = {Source identifier: 1701.06743}
}